MMIO passthrough regions (MEM_TYPE_IO, mapped in stage-2 page table) and MMIO intercept handler regions (registered via mmio_region_register()) have no cross-overlap validation. If both occupy overlapping GPA ranges, the handler silently becomes dead code — the stage-2 mapping prevents any fault, so the handler is never invoked.
MMIO passthrough regions (MEM_TYPE_IO, mapped in stage-2 page table) and MMIO intercept handler regions (registered via
mmio_region_register()) have no cross-overlap validation. If both occupy overlapping GPA ranges, the handler silently becomes dead code — the stage-2 mapping prevents any fault, so the handler is never invoked.