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