Searched refs:VMX_AR_DPL (Results 1 – 2 of 2) sorted by relevance
443 #define VMX_AR_DPL(ar) (((ar) >> VMX_AR_DPL_SHIFT) & 3) macro
3159 return VMX_AR_DPL(ar); in vmx_get_cpl()