Searched refs:vm_exitinfo_cpuset (Results 1 – 4 of 4) sorted by relevance
220 error = copyout(vm_exitinfo_cpuset(vcpu), in vmmdev_machdep_ioctl()261 dmask = vm_exitinfo_cpuset(vcpu); in vmmdev_machdep_ioctl()
422 vm_exitinfo_cpuset(struct vcpu *vcpu) in vm_exitinfo_cpuset() function
1145 *vm_exitinfo_cpuset(vlapic->vcpu) = ipimask; in vlapic_icrlo_write_handler()1165 cpuset_t *dmask = vm_exitinfo_cpuset(vcpu); in vm_handle_ipi()
304 cpuset_t *vm_exitinfo_cpuset(struct vcpu *vcpu);