Symbol: VMX_INFO_IO_SEG
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1846
OS_ASSERT(__SHIFTOUT(info, VMX_INFO_IO_SEG) < 6);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1847
exit->u.io.seg = __SHIFTOUT(info, VMX_INFO_IO_SEG);