Symbol: __vgic_v3_write_apxrn
arch/arm64/kvm/hyp/vgic-v3-sr.c
981
__vgic_v3_write_apxrn(vcpu, rt, 0);
arch/arm64/kvm/hyp/vgic-v3-sr.c
986
__vgic_v3_write_apxrn(vcpu, rt, 1);
arch/arm64/kvm/hyp/vgic-v3-sr.c
991
__vgic_v3_write_apxrn(vcpu, rt, 2);
arch/arm64/kvm/hyp/vgic-v3-sr.c
996
__vgic_v3_write_apxrn(vcpu, rt, 3);