GEN8_PAGE_RW
u64 pde = addr | GEN8_PAGE_PRESENT | GEN8_PAGE_RW;
gen8_pte_t pte = addr | GEN8_PAGE_PRESENT | GEN8_PAGE_RW;
pte &= ~GEN8_PAGE_RW;
gen8_pte_t pte = addr | GEN8_PAGE_PRESENT | GEN8_PAGE_RW;
pte &= ~GEN8_PAGE_RW;
se.val64 |= GEN8_PAGE_PRESENT | GEN8_PAGE_RW;