pte32
uint32_t *ptpbase32, pte32;
pte32 = ptpbase32[ptpindex];
if ((pte32 & PG_V) == 0 ||
(usermode && (pte32 & PG_U) == 0) ||
(writable && (pte32 & PG_RW) == 0)) {
0, pte32);
if (!check_only && (pte32 & PG_A) == 0) {
pte32, pte32 | PG_A) == 0) {
if (nlevels > 0 && (pte32 & PG_PS) != 0)
ptpphys = pte32;
if (!check_only && writable && (pte32 & PG_M) == 0) {
pte32, pte32 | PG_M) == 0) {
pte32 >>= ptpshift; pte32 <<= ptpshift;
*gpa = pte32 | (gla & (pgsize - 1));