pub const DEFAULT_GIC_ITS_BASE: u64 = 0xEFFC_0000;Expand description
Base address of the GICv3 ITS MMIO region. Must be 64 KiB aligned, below the v2m frame address, and not overlap other devices. The region extends from this base to base + GIC_ITS_SIZE (128 KiB).