Symbol: VMX_SEG_ATTRIB_DPL
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2673
__SHIFTIN(segs[idx].attrib.dpl, VMX_SEG_ATTRIB_DPL) |
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2706
segs[idx].attrib.dpl = __SHIFTOUT(attrib, VMX_SEG_ATTRIB_DPL);