Searched refs:vgic_mmio_write_sgipendc (Results 1 – 3 of 3) sorted by relevance
214 static void vgic_mmio_write_sgipendc(struct kvm_vcpu *vcpu, in vgic_mmio_write_sgipendc() function448 vgic_mmio_read_sgipend, vgic_mmio_write_sgipendc, 16,
1523 ffff800010063330 t vgic_mmio_write_sgipendc
Completed in 290 milliseconds