Lines Matching refs:pteval
351 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
359 t.val = pteval;
366 ((x86pte_t *)tab_addr)[index] = pteval;
368 ((x86pte32_t *)tab_addr)[index] = (x86pte32_t)pteval;
375 make_ptable(x86pte_t *pteval, uint_t level)
380 *pteval = pa_to_ma((uintptr_t)new_table) | PT_VALID;
382 *pteval = pa_to_ma((uintptr_t)new_table) | ptp_bits;
387 *pteval & ~(x86pte_t)PT_WRITABLE, UVMF_INVLPG | UVMF_LOCAL))
393 PRIx64 "\n", level, (ulong_t)new_table, *pteval);
416 x86pte_t pteval;
432 pteval = ((x86pte_t *)table)[index];
434 pteval = ((x86pte32_t *)table)[index];
435 if (pteval == 0)
439 tabs + l, (void *)table, index, (uint64_t)pteval, va);
440 pa = ma_to_pa(pteval & MMU_PAGEMASK);
446 if ((l > 1 || (l == 1 && (pteval & PT_PAGESIZE) == 0))) {
452 ma_to_pa(pteval & MMU_PAGEMASK);
461 pteval = ((x86pte_t *)table)[index + i];
463 pteval = ((x86pte32_t *)table)[index + i];
464 if (pteval == 0)
466 pa1 = ma_to_pa(pteval & MMU_PAGEMASK);
497 x86pte_t pteval;
499 pteval = ma | pte_bits;
501 pteval |= PT_PAGESIZE;
503 pteval |= PT_GLOBAL;
508 (uint64_t)ma, (uint64_t)va, pteval, level);
514 if (HYPERVISOR_update_va_mapping(va, pteval,
532 if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
535 (uint64_t)va, level, (uint64_t)ma, pteval);
538 pteval |= PT_NOCACHE; /* for video RAM */
540 *ptep = pteval;
542 *((x86pte32_t *)ptep) = (x86pte32_t)pteval;