PTE_SET
PTE_SET(pte, PT_WRITABLE);
PTE_SET(pte, PT_USER);
PTE_SET(pte, mmu.pt_nx);
PTE_SET(pte, PT_NOCONSIST | PT_REF | PT_MOD);
PTE_SET(pte, PT_NOSYNC | PT_REF | PT_MOD);
PTE_SET(pte, PT_NOCACHE);
PTE_SET(pte, PT_NOCACHE);
PTE_SET(pte, (level == 0) ? PT_PAT_4K : PT_PAT_LARGE);
PTE_SET(pte, PT_WRITETHRU);
PTE_SET(pte, mmu.pt_global);
PTE_SET(pte, mmu.pt_global);
PTE_SET(pte, PT_WRITABLE);