pte_lvl
struct pte_entry *pte_lvl(struct domain *, struct pte_entry *, vaddr_t,
pte = pte_lvl(dom, pte, va, 30,
pte = pte_lvl(dom, pte, va, 21,