vm_exitinfo_cpuset
cpuset_t *vm_exitinfo_cpuset(struct vcpu *vcpu);
*vm_exitinfo_cpuset(vlapic->vcpu) = ipimask;
cpuset_t *dmask = vm_exitinfo_cpuset(vcpu);
error = copyout(vm_exitinfo_cpuset(vcpu),
dmask = vm_exitinfo_cpuset(vcpu);