pub const GICR_BASE: u64 = 0x080A_0000;Expand description
GIC redistributor window base.
The live region is [GICR_BASE, GICR_BASE + vcpu_count * hv_gic_get_redistributor_size). The reserved window is sized for the worst case
(MAX_SUPPORTED_VCPUS × 128 KiB = 4 MiB) plus headroom up to PL011_BASE.