Symbol: ICH_VTR_EL2_PRIBITS_SHIFT
sys/arm64/vmm/io/vgic_v3_reg.h
111
#define ICH_VTR_EL2_PRIBITS_MASK (0x7 << ICH_VTR_EL2_PRIBITS_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
113
((((x) & ICH_VTR_EL2_PRIBITS_MASK) >> ICH_VTR_EL2_PRIBITS_SHIFT) + 1)