Lines Matching defs:ptep
160 x86pte_t *ptep;
186 ptep = find_pte(va, &pte_physaddr, level, 0);
187 if (ptep == NULL)
195 *ptep = pteval;
197 *((x86pte32_t *)ptep) = pteval;
251 x86pte_t *ptep;
280 ptep = find_pte(probe_va, &pte_physaddr, l, 1);
281 if (ptep == NULL)
284 pte_val = *ptep;
286 pte_val = *((x86pte32_t *)ptep);
340 x86pte_t *ptep;
344 ptep = find_pte(va, NULL, level, probe_only);
345 if (ptep == NULL)
349 *ptep = 0;
351 *((x86pte32_t *)ptep) = 0;
365 x86pte_t *ptep;
374 ptep = find_pte(va, NULL, level, probe_only);
375 if (ptep == NULL)
379 old_pte = *ptep;
381 old_pte = *((x86pte32_t *)ptep);
388 *((x86pte_t *)ptep) = pte_val;
390 *((x86pte32_t *)ptep) = pte_val;
413 x86pte_t *ptep;
416 ptep = find_pte(va, NULL, level, 0);
417 if (ptep == NULL)
421 *ptep = pte_val;
423 *((x86pte32_t *)ptep) = pte_val;