Searched refs:DTE_FLAG_GIOV (Results 1 – 2 of 2) sorted by relevance
408 #define DTE_FLAG_GIOV BIT_ULL(54) macro
1920 pte_root |= DTE_FLAG_GIOV; in set_dte_entry()