Searched refs:vgic_mmio_write_sgipendc (Results 1 – 1 of 1) sorted by relevance
222 static void vgic_mmio_write_sgipendc(struct kvm_vcpu *vcpu, in vgic_mmio_write_sgipendc() function452 vgic_mmio_read_sgipend, vgic_mmio_write_sgipendc, 16,