Searched refs:vgic_mmio_write_sgipends (Results 1 – 1 of 1) sorted by relevance
244 static void vgic_mmio_write_sgipends(struct kvm_vcpu *vcpu, in vgic_mmio_write_sgipends() function455 vgic_mmio_read_sgipend, vgic_mmio_write_sgipends, 16,