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