Symbol: VGIC_ICH_LR_NUM_MAX
sys/arm64/vmm/arm64.h
142
HOST_ICH_LR_MAX_EL2 = HOST_ICH_LR0_EL2 + (VGIC_ICH_LR_NUM_MAX - 1),
sys/arm64/vmm/arm64.h
59
#define HOST_ICH_LR_EL2(n) (HOST_ICH_LR0_EL2 + MIN(n, VGIC_ICH_LR_NUM_MAX-1))