Lines Matching refs:pmap_paddr_t
946 extern pmap_paddr_t avail_start, avail_end;
976 pmap_paddr_t pa;
985 pa = (pmap_paddr_t) kvtophys(va);
1158 kernel_pmap->pdirbase = (pmap_paddr_t)((int)IdlePTD);
1161 kernel_pmap->pm_cr3 = (pmap_paddr_t)((int)IdlePDPT);
1166 pmap_paddr_t pa;
1167 pa = (pmap_paddr_t) kvtophys(va + i386_ptob(i));
1286 kernel_pmap->pm_cr3 = (pmap_paddr_t)((int)IdlePML4); /* setup in start.s for us */
1627 p->pm_cr3 = (pmap_paddr_t)kvtophys((vm_offset_t)pdpt);
1638 pmap_paddr_t pa;
1639 pa = (pmap_paddr_t) kvtophys(va + i386_ptob(i));
1656 p->pm_cr3 = (pmap_paddr_t)kvtophys((vm_offset_t)p->pm_hold);
1933 pmap_paddr_t pa;
2579 pmap_paddr_t old_pa;
2580 pmap_paddr_t pa = (pmap_paddr_t)i386_ptob(pn);
2718 if (old_pa != (pmap_paddr_t) 0) {
3069 register pmap_paddr_t pa;
3156 register pmap_paddr_t pa;
3264 register pmap_paddr_t pa;
3886 extern void db_show_page(pmap_paddr_t pa);
3890 db_show_page(pmap_paddr_t pa)
4527 pmap_paddr_t pmap_cr3 = pmap->pm_cr3;