aplic_mmio_read_offset
return aplic_mmio_read_offset(vcpu->kvm,
rc = aplic_mmio_read_offset(kvm, type, v);
rc = aplic_mmio_read_offset(kvm, type, &val);