PTE_M_64
pte64->pte_lo |= PTE_M_64;
pte64->pte_lo |= (PTE_W_64 | PTE_M_64);
pte64->pte_lo |= (PTE_M_64 | PTE_I_64 | PTE_G_64);