Symbol: ___vgic_v3_write_dir
arch/arm64/kvm/hyp/vgic-v3-sr.c
1252
ret = ___vgic_v3_write_dir(vcpu, __vgic_v3_read_vmcr(),
arch/arm64/kvm/hyp/vgic-v3-sr.c
827
if (!___vgic_v3_write_dir(vcpu, vmcr, rt))