Symbol: ICH_VMCR_EL2_VBPR1_SHIFT
sys/arm64/vmm/io/vgic_v3_reg.h
101
(0x7 << ICH_VMCR_EL2_VBPR1_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
99
#define ICH_VMCR_EL2_VBPR1_MASK (0x7 << ICH_VMCR_EL2_VBPR1_SHIFT)