== DF-3852: crafted COMBIOS powerplay voltage-GPIO record ==
[combios] VOLTAGE_GPIO parsed: gpio.reg=0x0003fffc gpio.mask=0x00000200 (reg raw word 0xffff * 4)
[pm] r100_pm_misc() executing RREG32/WREG32 RMW at that index:
  [slow] RREG32: MM_INDEX <- 0x0003fffc (>= rmmio_size 0x10000) -> indexed read OUTSIDE the MMIO BAR
  [slow] WREG32: MM_INDEX <- 0x0003fffc (>= rmmio_size 0x10000) -> indexed write OUTSIDE the MMIO BAR, value 0x00000200

result: 0 in-BAR write(s), 1 out-of-BAR indexed write(s)
PRIMITIVE PROVEN: BIOS word 0xffff -> MMIO offset 0x3fffc >= rmmio_size 0x10000 -> raw offset driven into MM_INDEX.
harness exit=0