pub const GIC_V2M_MSI_FRAME_SIZE: u64 = 0x1000;
Size of the v2m MSI frame (one 4KB page is the architectural minimum).