Searched refs:vgic_mmio_write_invlpi (Results 1 – 1 of 1) sorted by relevance
546 static void vgic_mmio_write_invlpi(struct kvm_vcpu *vcpu, in vgic_mmio_write_invlpi() function692 vgic_mmio_read_raz, vgic_mmio_write_invlpi, 8,