Lines Matching defs:pte32
1696 uint32_t *ptpbase32, pte32;
1742 pte32 = ptpbase32[ptpindex];
1744 if ((pte32 & PG_V) == 0 ||
1745 (usermode && (pte32 & PG_U) == 0) ||
1746 (writable && (pte32 & PG_RW) == 0)) {
1748 pte32);
1760 if ((pte32 & PG_A) == 0) {
1762 pte32, pte32 | PG_A) == 0) {
1768 if (nlevels > 0 && (pte32 & PG_PS) != 0)
1771 ptpphys = pte32;
1775 if (writable && (pte32 & PG_M) == 0) {
1777 pte32, pte32 | PG_M) == 0) {
1783 pte32 >>= ptpshift; pte32 <<= ptpshift;
1784 *gpa = pte32 | (gla & (pgsize - 1));