Symbol: VMX_SEG_ATTRIB_AVL
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2675
__SHIFTIN(segs[idx].attrib.avl, VMX_SEG_ATTRIB_AVL) |
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2708
segs[idx].attrib.avl = __SHIFTOUT(attrib, VMX_SEG_ATTRIB_AVL);