Lines Matching defs:kpt
522 * form the KPT free list.
526 panic("pmap_init: cannot allocate KPT free list");
540 PMAP_DPRINTF(PDB_INIT, ("pmap_init: KPT: %ld pages from %lx to %lx\n",
1694 * Garbage-collect KPT pages. Helper for the above (bogus)
1714 struct kpt_page *kpt, **pkpt;
1748 printf("collect: freeing KPT page at %lx (ste %x@%p)\n",
1763 printf("collect: freeing KPT page at %lx (ste %x@%p)\n",
1776 for (pkpt = &kpt_used_list, kpt = *pkpt;
1777 kpt != NULL;
1778 pkpt = &kpt->kpt_next, kpt = *pkpt)
1779 if (kpt->kpt_pa == kpa)
1782 if (kpt == NULL)
1783 panic("pmap_collect: lost a KPT page");
1786 kpt->kpt_va, kpa);
1788 *pkpt = kpt->kpt_next;
1789 kpt->kpt_next = kpt_free_list;
1790 kpt_free_list = kpt;
2628 struct kpt_page *kpt;
2631 if ((kpt = kpt_free_list) == NULL) {
2637 ("enter: no KPT pages, collecting...\n"));
2639 if ((kpt = kpt_free_list) == NULL)
2640 panic("pmap_enter_ptpage: can't get KPT page");
2642 kpt_free_list = kpt->kpt_next;
2643 kpt->kpt_next = kpt_used_list;
2644 kpt_used_list = kpt;
2645 ptpa = kpt->kpt_pa;
2646 memset((void *)kpt->kpt_va, 0, PAGE_SIZE);
2654 printf("enter: add &Sysptmap[%d]: %x (KPT page %lx)\n",
2655 ix, Sysptmap[ix], kpt->kpt_va);