MSQHX: DF-5574 note: baseline (unfixed) hit DOUBLE FAULT - KERNEL STACK GUARD on this same case
MSQHX: harness case=2 done
MSQHX: harness case=0 start (production ppb_msq.c)
MSQHX: --- DF-5575 ppb_MS_loop() DBRA(-1) off-by-one ---
MSQHX: DF-5575 iter=5 -> prolog=1 body=5 epilog=1 dbra_spins=4 ret=0
MSQHX: DF-5575 expected body=5; observed body=5 -> loop works
MSQHX: --- DF-5573 ppb_MS_init_msq() unchecked `ins' ---
MSQHX: sizeof(struct ppb_microseq)=32
MSQHX: in-bounds ins=2 arg=1: ret=0 probe[2].arg[1].i=0x11223344 (expect 0x11223344)
MSQHX: OOB ins=60 (1792B past 4-ins array): probe[60].arg[0].i=0x41424344 <-- CONTROLLED WRITE LANDED
panic: ppb_MS_init_msq: instruction out of range (200)!
cpuid = 0
Trace beginning at frame 0xfffff80117ddd608
ppb_MS_init_msq() at ppb_MS_init_msq+0x1f9 0xffffffff82600309 
ppb_MS_init_msq() at ppb_MS_init_msq+0x1f9 0xffffffff82600309 
hx_sysctl_case() at hx_sysctl_case+0x569 0xffffffff82600f89 
sysctl_root.isra.5() at sysctl_root.isra.5+0x166 0xffffffff80683d06 
userland_sysctl() at userland_sysctl+0x111 0xffffffff806840a1 
sys___sysctl() at sys___sysctl+0x74 0xffffffff80684204