Symbol: __vgic_v3_read_vmcr
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
1282
vmcr = __vgic_v3_read_vmcr();