vm_get_intinfo
error = vm_get_intinfo(vcpu, &info[0], &info[1]);
int vm_get_intinfo(struct vcpu *vcpu, uint64_t *i1, uint64_t *i2);
int vm_get_intinfo(struct vm *vm, int vcpuid, uint64_t *info1, uint64_t *info2);
error = vm_get_intinfo(sc->vmm_vm, vcpu, &vmii.info1,