Searched refs:vgic_flush_pending_lpis (Results 1 – 3 of 3) sorted by relevance
526 vgic_flush_pending_lpis(vcpu); in __kvm_vgic_vcpu_destroy()
195 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu) in vgic_flush_pending_lpis() function
306 vgic_flush_pending_lpis(vcpu); in vgic_mmio_write_v3r_ctlr()