406 set_pteval(paddr_t table, uint_t index, uint_t level, x86pte_t pteval)  in set_pteval()  argument
414 	t.val = pteval;  in set_pteval()
421 		((x86pte_t *)tab_addr)[index] = pteval;  in set_pteval()
423 		((x86pte32_t *)tab_addr)[index] = (x86pte32_t)pteval;  in set_pteval()
430 make_ptable(x86pte_t *pteval, uint_t level)  in make_ptable()  argument
435 		*pteval = pa_to_ma((uintptr_t)new_table) | PT_VALID;  in make_ptable()
437 		*pteval = pa_to_ma((uintptr_t)new_table) | ptp_bits;  in make_ptable()
442 	    *pteval & ~(x86pte_t)PT_WRITABLE, UVMF_INVLPG | UVMF_LOCAL))  in make_ptable()
448 		    PRIx64 "\n", level, (ulong_t)new_table, *pteval);  in make_ptable()
471 	x86pte_t pteval;  in dump_tables()  local
487 			pteval = ((x86pte_t *)table)[index];  in dump_tables()
489 			pteval = ((x86pte32_t *)table)[index];  in dump_tables()
490 		if (pteval == 0)  in dump_tables()
494 		    tabs + l, (void *)table, index, (uint64_t)pteval, va);  in dump_tables()
495 		pa = ma_to_pa(pteval & MMU_PAGEMASK);  in dump_tables()
501 		if ((l > 1 || (l == 1 && (pteval & PT_PAGESIZE) == 0))) {  in dump_tables()
507 			    ma_to_pa(pteval & MMU_PAGEMASK);  in dump_tables()
516 				pteval = ((x86pte_t *)table)[index + i];  in dump_tables()
518 				pteval = ((x86pte32_t *)table)[index + i];  in dump_tables()
519 			if (pteval == 0)  in dump_tables()
521 			pa1 = ma_to_pa(pteval & MMU_PAGEMASK);  in dump_tables()
552 	x86pte_t pteval;  in map_ma_at_va()  local
554 	pteval = ma | pte_bits;  in map_ma_at_va()
556 		pteval |= PT_PAGESIZE;  in map_ma_at_va()
558 		pteval |= PT_GLOBAL;  in map_ma_at_va()
563 		    (uint64_t)ma, (uint64_t)va, pteval, level);  in map_ma_at_va()
569 	if (HYPERVISOR_update_va_mapping(va, pteval,  in map_ma_at_va()
587 	if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))  in map_ma_at_va()
590 		    (uint64_t)va, level, (uint64_t)ma, pteval);  in map_ma_at_va()
593 		pteval |= PT_NOCACHE;		/* for video RAM */  in map_ma_at_va()
595 		*ptep = pteval;  in map_ma_at_va()
597 		*((x86pte32_t *)ptep) = (x86pte32_t)pteval;  in map_ma_at_va()