Symbol: ICH_VTR_EL2_PREBITS_SHIFT
sys/arm64/vmm/io/vgic_v3_reg.h
115
#define ICH_VTR_EL2_PREBITS_MASK (0x7 << ICH_VTR_EL2_PREBITS_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
117
(((x) & ICH_VTR_EL2_PREBITS_MASK) >> ICH_VTR_EL2_PREBITS_SHIFT)