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