DF-5465 / run.log
icu_legacy_probe: step1 legacy_intr_config(1000, EDGE, HIGH): silent OOB write at icu_irqmaps[0][1000] (+16000 bytes, inside the 2-D array -- no fault) icu_legacy_probe: step1 RETURNED WITHOUT ERROR (void) -- OOB write done, guest still alive icu_legacy_probe: step2 legacy_intr_config(-100000000, EDGE, HIGH): wild RMW ~1.5GB below icu_irqmaps -> expect kernel page fault panic at icu_abi.c:379