Searched refs:vgic_enable (Results 1 – 1 of 1) sorted by relevance
1062 static inline void vgic_enable(struct kvm_vcpu *vcpu) in vgic_enable() function1761 vgic_enable(vcpu); in vgic_init()