VA_PTE_NUM
pte = get_pte_pmeg(sme, VA_PTE_NUM(va));
set_pte_pmeg(sme, VA_PTE_NUM(va), pte);
pte = get_pte_pmeg(sme, VA_PTE_NUM(va));
set_pte_pmeg(sme, VA_PTE_NUM(va), pte);
ptenum = VA_PTE_NUM(va);
ptenum = VA_PTE_NUM(va);
idx = VA_PTE_NUM(va);
pte = get_pte_pmeg(sme, VA_PTE_NUM(va));
set_pte_pmeg(sme, VA_PTE_NUM(va), pte);
pte = get_pte_pmeg(sme, VA_PTE_NUM(va));
set_pte_pmeg(sme, VA_PTE_NUM(va), pte);
ptenum = VA_PTE_NUM(va);
ptenum = VA_PTE_NUM(va);
idx = VA_PTE_NUM(va);