116 static const struct vgic_ops *vgic_ops;  variable
1026 	return vgic_ops->get_lr(vcpu, lr);  in vgic_get_lr()
1032 	vgic_ops->set_lr(vcpu, lr, vlr);  in vgic_set_lr()
1037 	return vgic_ops->get_elrsr(vcpu);  in vgic_get_elrsr()
1042 	return vgic_ops->get_eisr(vcpu);  in vgic_get_eisr()
1047 	vgic_ops->clear_eisr(vcpu);  in vgic_clear_eisr()
1052 	return vgic_ops->get_interrupt_status(vcpu);  in vgic_get_interrupt_status()
1057 	vgic_ops->enable_underflow(vcpu);  in vgic_enable_underflow()
1062 	vgic_ops->disable_underflow(vcpu);  in vgic_disable_underflow()
1067 	vgic_ops->get_vmcr(vcpu, vmcr);  in vgic_get_vmcr()
1072 	vgic_ops->set_vmcr(vcpu, vmcr);  in vgic_set_vmcr()
1077 	vgic_ops->enable(vcpu);  in vgic_enable()
2403 	const int (*vgic_probe)(struct device_node *,const struct vgic_ops **,  in kvm_vgic_hyp_init()
2416 	ret = vgic_probe(vgic_node, &vgic_ops, &vgic);  in kvm_vgic_hyp_init()