pub const DEFAULT_GIC_V2M_MSI_FRAME_BASE: u64 = 0xEFFE_8000;
Base address of the GIC v2m MSI frame. Must not overlap GIC dist/redist, serial UARTs, or VMBus MMIO. Matches the Hyper-V convention.