PTE_D
#define PTE_D 0x0000000000000040 /* Dirty */
#define PTE_D 0x00000040 /* Dirty */
#define PTE_D __BIT(7) // Dirty