Symbol: VGIC_MAX_RESERVED
arch/arm64/kvm/vgic/vgic-kvm-device.c
234
val > VGIC_MAX_RESERVED ||
tools/testing/selftests/kvm/arm64/vgic_irq.c
564
if (intid > VGIC_MAX_RESERVED)