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