Searched refs:vgic_flush_pending_lpis (Results 1 – 3 of 3) sorted by relevance
260 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu);
136 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()