pub const GIC_ITS_SIZE: u64 = 0x2_0000;
Size of the ITS MMIO region (control frame + translation frame, 2×64 KiB).