Symbol: ICH_VMCR_EL2_VBPR0_SHIFT
sys/arm64/vmm/io/vgic_v3_reg.h
95
#define ICH_VMCR_EL2_VBPR0_MASK (0x7 << ICH_VMCR_EL2_VBPR0_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
97
(0x7 << ICH_VMCR_EL2_VBPR0_SHIFT)