GET_PTE
old_pte = GET_PTE(pte_ptr);
pte = GET_PTE(PT_INDEX_PTR(mmu.kmap_ptes, pg_index));
found_pte = GET_PTE((x86pte_t *)pte_ptr);
pte = GET_PTE(ptep);
prev = GET_PTE(ptep);
oldpte = GET_PTE(ptep);
oldpte = GET_PTE(ptep);
(GET_PTE(ptep) & PT_MOD) != 0) {
found = GET_PTE(ptep);
pte = GET_PTE(ptep);