Lines Matching refs:pte32
2073 uint32_t *ptpbase32, pte32;
2120 pte32 = ptpbase32[ptpindex];
2122 if ((pte32 & PG_V) == 0 ||
2123 (usermode && (pte32 & PG_U) == 0) ||
2124 (writable && (pte32 & PG_RW) == 0)) {
2127 pte32);
2140 if (!check_only && (pte32 & PG_A) == 0) {
2142 pte32, pte32 | PG_A) == 0) {
2148 if (nlevels > 0 && (pte32 & PG_PS) != 0)
2151 ptpphys = pte32;
2155 if (!check_only && writable && (pte32 & PG_M) == 0) {
2157 pte32, pte32 | PG_M) == 0) {
2163 pte32 >>= ptpshift; pte32 <<= ptpshift;
2164 *gpa = pte32 | (gla & (pgsize - 1));