Symbol: ICH_VMCR_EL2_VPMR_SHIFT
sys/arm64/vmm/io/vgic_v3.c
522
(virt_features.min_prio << ICH_VMCR_EL2_VPMR_SHIFT) |
sys/arm64/vmm/io/vgic_v3_reg.h
91
#define ICH_VMCR_EL2_VPMR_MASK (0xff << ICH_VMCR_EL2_VPMR_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
92
#define ICH_VMCR_EL2_VPMR_PRIO_LOWEST (0xff << ICH_VMCR_EL2_VPMR_SHIFT)
sys/arm64/vmm/io/vgic_v3_reg.h
93
#define ICH_VMCR_EL2_VPMR_PRIO_HIGHEST (0x00 << ICH_VMCR_EL2_VPMR_SHIFT)