Constant islet_rmm::gic::ICH_HCR_EL2_EOI_COUNT_MASK

pub const ICH_HCR_EL2_EOI_COUNT_MASK: u64 = _; // 4_160_749_568u64