PTE_UPDATE_FLAG_IS_COMP_PTE
PTE_UPDATE_FLAG_IS_COMP_PTE) : 0;
PTE_UPDATE_FLAG_IS_COMP_PTE) : 0;
pte_flags |= use_comp_pat ? PTE_UPDATE_FLAG_IS_COMP_PTE : 0;
bool is_comp_pte = PTE_UPDATE_FLAG_IS_COMP_PTE & flags;
pte_flags |= use_comp_pat ? PTE_UPDATE_FLAG_IS_COMP_PTE : 0;