X86_PG_PTE_CACHE
attrs |= pte & (X86_PG_G | X86_PG_PTE_CACHE);
mask = is_pde ? X86_PG_PDE_CACHE : X86_PG_PTE_CACHE;
if ((*pte & (PG_FRAME | X86_PG_PTE_CACHE)) != pa) {
pte_mask |= X86_PG_PTE_CACHE;
#define PG_PTE_CACHE X86_PG_PTE_CACHE