Searched refs:DTE_FLAG_GV (Results 1 – 2 of 2) sorted by relevance
286 #define DTE_FLAG_GV (0x01ULL << 55) macro
2074 pte_root |= DTE_FLAG_GV; in set_dte_entry()