Lines Matching defs:pteval
387 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)
395 t.val = pteval;
402 ((x86pte_t *)tab_addr)[index] = pteval;
404 ((x86pte32_t *)tab_addr)[index] = (x86pte32_t)pteval;
411 make_ptable(x86pte_t *pteval, uint_t level)
416 *pteval = pa_to_ma((uintptr_t)new_table) | PT_VALID;
418 *pteval = pa_to_ma((uintptr_t)new_table) | ptp_bits;
423 *pteval & ~(x86pte_t)PT_WRITABLE, UVMF_INVLPG | UVMF_LOCAL))
429 PRIx64 "\n", level, (ulong_t)new_table, *pteval);
452 x86pte_t pteval;
468 pteval = ((x86pte_t *)table)[index];
470 pteval = ((x86pte32_t *)table)[index];
471 if (pteval == 0)
475 tabs + l, (void *)table, index, (uint64_t)pteval, va);
476 pa = ma_to_pa(pteval & MMU_PAGEMASK);
482 if ((l > 1 || (l == 1 && (pteval & PT_PAGESIZE) == 0))) {
488 ma_to_pa(pteval & MMU_PAGEMASK);
497 pteval = ((x86pte_t *)table)[index + i];
499 pteval = ((x86pte32_t *)table)[index + i];
500 if (pteval == 0)
502 pa1 = ma_to_pa(pteval & MMU_PAGEMASK);
533 x86pte_t pteval;
535 pteval = ma | pte_bits;
537 pteval |= PT_PAGESIZE;
539 pteval |= PT_GLOBAL;
544 (uint64_t)ma, (uint64_t)va, pteval, level);
550 if (HYPERVISOR_update_va_mapping(va, pteval,
568 if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
571 (uint64_t)va, level, (uint64_t)ma, pteval);
574 pteval |= PT_NOCACHE; /* for video RAM */
576 *ptep = pteval;
578 *((x86pte32_t *)ptep) = (x86pte32_t)pteval;