Searched refs:vgic_flush_pending_lpis (Results 1 – 3 of 3) sorted by relevance
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
196 vgic_flush_pending_lpis(vcpu); in vgic_mmio_write_v3r_ctlr()
