Searched refs:vgic_flush_pending_lpis (Results 1 – 4 of 4) sorted by relevance
379 vgic_flush_pending_lpis(vcpu); in __kvm_vgic_vcpu_destroy()
277 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu);
152 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu) in vgic_flush_pending_lpis() function
279 vgic_flush_pending_lpis(vcpu); in vgic_mmio_write_v3r_ctlr()