Searched refs:vgic_flush_pending_lpis (Results 1 – 4 of 4) sorted by relevance
362 vgic_flush_pending_lpis(vcpu); in kvm_vgic_vcpu_destroy()
233 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu);
151 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu) in vgic_flush_pending_lpis() function
246 vgic_flush_pending_lpis(vcpu); in vgic_mmio_write_v3r_ctlr()