Lines Matching defs:kern_pdptp
1474 pdpt_entry_t *kern_pdptp;
1491 kern_pdptp = kernel_pmap->pm_pdpt;
1492 pmap_store_pte(user_pdptp+0, *(kern_pdptp+0));
1493 pmap_store_pte(user_pdptp+1, *(kern_pdptp+1));
1494 pmap_store_pte(user_pdptp+2, *(kern_pdptp+2));
1495 pmap_store_pte(user_pdptp+3, *(kern_pdptp+3));
2753 pdpt_entry_t *kern_pdptp;
2762 kern_pdptp = kernel_pmap->pm_pdpt;
2763 if (kern_pdptp == NULL)
2764 panic("kern_pdptp == NULL");
2766 "kern_pdptp=%p (phys=0x%016llx)\n"
2778 p, kern_pdptp, kvtophys(kern_pdptp),
2779 kern_pdptp+0, *(kern_pdptp+0),
2780 kern_pdptp+1, *(kern_pdptp+1),
2781 kern_pdptp+2, *(kern_pdptp+2),
2782 kern_pdptp+3, *(kern_pdptp+3),
2783 kern_pdptp+4, *(kern_pdptp+4),