aplic_mmio_write_offset
return aplic_mmio_write_offset(vcpu->kvm,
rc = aplic_mmio_write_offset(kvm, type, v);