Lines Matching defs:kern_pdptp
1742 pdpt_entry_t *kern_pdptp;
1759 kern_pdptp = kernel_pmap->pm_pdpt;
1760 pmap_store_pte(user_pdptp+0, *(kern_pdptp+0));
1761 pmap_store_pte(user_pdptp+1, *(kern_pdptp+1));
1762 pmap_store_pte(user_pdptp+2, *(kern_pdptp+2));
1763 pmap_store_pte(user_pdptp+3, *(kern_pdptp+3));
4672 pdpt_entry_t *kern_pdptp;
4681 kern_pdptp = kernel_pmap->pm_pdpt;
4682 if (kern_pdptp == NULL)
4683 panic("kern_pdptp == NULL");
4685 "kern_pdptp=%p (phys=0x%016llx)\n"
4697 p, kern_pdptp, kvtophys(kern_pdptp),
4698 kern_pdptp+0, *(kern_pdptp+0),
4699 kern_pdptp+1, *(kern_pdptp+1),
4700 kern_pdptp+2, *(kern_pdptp+2),
4701 kern_pdptp+3, *(kern_pdptp+3),
4702 kern_pdptp+4, *(kern_pdptp+4),