RPTE_SHIFT
#define RPTE_ENTRIES (1UL<<RPTE_SHIFT)
*pte = htobe64(pages | RPTE_VALID | RPTE_SHIFT);
*pte = htobe64(pages | RPTE_VALID | RPTE_SHIFT);
*pte = htobe64(pages | RPTE_VALID | RPTE_SHIFT);
pml1index = pdpindex >> RPTE_SHIFT;
pdpindex = ptepindex >> RPTE_SHIFT;
pml1index = pdpindex >> RPTE_SHIFT;
pdpindex = ptepindex >> RPTE_SHIFT;
*(u_long *)(ptep) = htobe64((u_long)(pa|RPTE_VALID|RPTE_SHIFT)); \