arch/arm64/kvm/vgic/vgic.h
tools/testing/selftests/kvm/include/arm64/vgic.h