vgic_mmio_write_wi
.write = vgic_mmio_write_wi, \
vgic_mmio_read_rao, vgic_mmio_write_wi, 4,
vgic_mmio_read_raz, vgic_mmio_write_wi, NULL, NULL, 8,
vgic_mmio_read_raz, vgic_mmio_write_wi, NULL, NULL, 1,
vgic_mmio_read_v3_idregs, vgic_mmio_write_wi, 48,
vgic_mmio_read_raz, vgic_mmio_write_wi, 4,
vgic_mmio_read_v3r_iidr, vgic_mmio_write_wi, 4,
vgic_mmio_read_v3r_typer, vgic_mmio_write_wi,
vgic_mmio_read_raz, vgic_mmio_write_wi, 4,
vgic_mmio_read_sync, vgic_mmio_write_wi, 4,
vgic_mmio_read_v3_idregs, vgic_mmio_write_wi, 48,
vgic_mmio_read_raz, vgic_mmio_write_wi, 4,
vgic_mmio_read_raz, vgic_mmio_write_wi, 4,
void vgic_mmio_write_wi(struct kvm_vcpu *vcpu, gpa_t addr,