PTE_D
#define PTE_KERN (PTE_V | PTE_R | PTE_W | PTE_A | PTE_D)
[PROT_WRITE] = PTE_U|PTE_A|PTE_R|PTE_D|PTE_W,
[PROT_WRITE|PROT_READ] = PTE_U|PTE_A|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE] = PTE_U|PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE|PROT_READ] = PTE_U|PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_WRITE] = PTE_A|PTE_R|PTE_D|PTE_W,
[PROT_WRITE|PROT_READ] = PTE_A|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE] = PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,
[PROT_EXEC|PROT_WRITE|PROT_READ] = PTE_A|PTE_X|PTE_R|PTE_D|PTE_W,