Searched refs:pte32 (Results 1 – 1 of 1) sorted by relevance
1696 uint32_t *ptpbase32, pte32; in vm_gla2gpa() local1742 pte32 = ptpbase32[ptpindex]; in vm_gla2gpa()1744 if ((pte32 & PG_V) == 0 || in vm_gla2gpa()1745 (usermode && (pte32 & PG_U) == 0) || in vm_gla2gpa()1746 (writable && (pte32 & PG_RW) == 0)) { in vm_gla2gpa()1748 pte32); in vm_gla2gpa()1760 if ((pte32 & PG_A) == 0) { in vm_gla2gpa()1762 pte32, pte32 | PG_A) == 0) { in vm_gla2gpa()1768 if (nlevels > 0 && (pte32 & PG_PS) != 0) in vm_gla2gpa()1771 ptpphys = pte32; in vm_gla2gpa()[all …]