2 * Memory mappings. Life was easier when 2G of memory was enough.
4 * The kernel memory starts at KZERO, with the text loaded at KZERO+1M
5 * (9load sits under 1M during the load). The memory from KZERO to the
6 * top of memory is mapped 1-1 with physical memory, starting at physical
7 * address 0. All kernel memory and data structures (i.e., the entries stored
8 * into conf.mem) must sit in this physical range: if KZERO is at 0xF0000000,
9 * then the kernel can only have 256MB of memory for itself.
11 * The 256M below KZERO comprises three parts. The lowest 4M is the
12 * virtual page table, a virtual address representation of the current
13 * page table tree. The second 4M is used for temporary per-process
14 * mappings managed by kmap and kunmap. The remaining 248M is used
15 * for global (shared by all procs and all processors) device memory
16 * mappings and managed by vmap and vunmap. The total amount (256M)
17 * could probably be reduced somewhat if desired. The largest device
18 * mapping is that of the video card, and even though modern video cards
19 * have embarrassing amounts of memory, the video drivers only use one
20 * frame buffer worth (at most 16M). Each is described in more detail below.
22 * The VPT is a 4M frame constructed by inserting the pdb into itself.
23 * This short-circuits one level of the page tables, with the result that
24 * the contents of second-level page tables can be accessed at VPT.
25 * We use the VPT to edit the page tables (see mmu) after inserting them
26 * into the page directory. It is a convenient mechanism for mapping what
27 * might be otherwise-inaccessible pages. The idea was borrowed from
30 * The VPT doesn't solve all our problems, because we still need to
31 * prepare page directories before we can install them. For that, we
32 * use tmpmap/tmpunmap, which map a single page at TMPADDR.
36 #include "../port/lib.h"
43 * Simple segment descriptors with no translation.
45 #define DATASEGM(p) { 0xFFFF, SEGG|SEGB|(0xF<<16)|SEGP|SEGPL(p)|SEGDATA|SEGW }
46 #define EXECSEGM(p) { 0xFFFF, SEGG|SEGD|(0xF<<16)|SEGP|SEGPL(p)|SEGEXEC|SEGR }
47 #define EXEC16SEGM(p) { 0xFFFF, SEGG|(0xF<<16)|SEGP|SEGPL(p)|SEGEXEC|SEGR }
48 #define TSSSEGM(b,p) { ((b)<<16)|sizeof(Tss),\
49 ((b)&0xFF000000)|(((b)>>16)&0xFF)|SEGTSS|SEGPL(p)|SEGP }
53 [NULLSEG] { 0, 0}, /* null descriptor */
54 [KDSEG] DATASEGM(0), /* kernel data/stack */
55 [KESEG] EXECSEGM(0), /* kernel code */
56 [UDSEG] DATASEGM(3), /* user data/stack */
57 [UESEG] EXECSEGM(3), /* user code */
58 [TSSSEG] TSSSEGM(0,0), /* tss segment */
59 [KESEG16] EXEC16SEGM(0), /* kernel code 16-bit */
62 static void taskswitch(ulong, ulong);
63 static void memglobal(void);
65 #define vpt ((ulong*)VPT)
66 #define VPTX(va) (((ulong)(va))>>12)
67 #define vpd (vpt+VPTX(VPT))
72 memmove(m->gdt, gdt, sizeof gdt);
81 if(0) print("vpt=%#.8ux vpd=%#p kmap=%#.8ux\n",
85 m->pdb[PDX(VPT)] = PADDR(m->pdb)|PTEWRITE|PTEVALID;
87 m->tss = mallocz(sizeof(Tss), 1);
89 panic("mmuinit: no memory for Tss");
90 m->tss->iomap = 0xDFFF<<16;
93 * We used to keep the GDT in the Mach structure, but it
94 * turns out that that slows down access to the rest of the
95 * page. Since the Mach structure is accessed quite often,
96 * it pays off anywhere from a factor of 1.25 to 2 on real
97 * hardware to separate them (the AMDs are more sensitive
98 * than Intels in this regard). Under VMware it pays off
99 * a factor of about 10 to 100.
101 memmove(m->gdt, gdt, sizeof gdt);
103 m->gdt[TSSSEG].d0 = (x<<16)|sizeof(Tss);
104 m->gdt[TSSSEG].d1 = (x&0xFF000000)|((x>>16)&0xFF)|SEGTSS|SEGPL(0)|SEGP;
106 ptr[0] = sizeof(gdt)-1;
109 ptr[2] = (x>>16) & 0xFFFF;
112 ptr[0] = sizeof(Segdesc)*256-1;
115 ptr[2] = (x>>16) & 0xFFFF;
118 /* make kernel text unwritable */
119 for(x = KTZERO; x < (ulong)etext; x += BY2PG){
120 p = mmuwalk(m->pdb, x, 2, 0);
126 taskswitch(PADDR(m->pdb), (ulong)m + BY2PG);
131 * On processors that support it, we set the PTEGLOBAL bit in
132 * page table and page directory entries that map kernel memory.
133 * Doing this tells the processor not to bother flushing them
134 * from the TLB when doing the TLB flush associated with a
135 * context switch (write to CR3). Since kernel memory mappings
136 * are never removed, this is safe. (If we ever remove kernel memory
137 * mappings, we can do a full flush by turning off the PGE bit in CR4,
138 * writing to CR3, and then turning the PGE bit back on.)
140 * See also mmukmap below.
142 * Processor support for the PTEGLOBAL bit is enabled in devarch.c.
150 /* only need to do this once, on bootstrap processor */
158 for(i=PDX(KZERO); i<1024; i++){
159 if(pde[i] & PTEVALID){
161 if(!(pde[i] & PTESIZE)){
162 pte = KADDR(pde[i]&~(BY2PG-1));
163 for(j=0; j<1024; j++)
164 if(pte[j] & PTEVALID)
172 * Flush all the user-space and device-mapping mmu info
173 * for this process, because something has been deleted.
174 * It will be paged back in on demand.
188 * Flush a single page mapping from the tlb.
193 if(X86FAMILY(m->cpuidax) >= 4)
200 * Allocate a new page for a page directory.
201 * We keep a small cache of pre-initialized
202 * page directories in each mach.
215 page = newpage(0, 0, 0);
216 page->va = (ulong)vpd;
219 memmove(pdb, m->pdb, BY2PG);
220 pdb[PDX(VPT)] = page->pa|PTEWRITE|PTEVALID; /* set up VPT */
224 m->pdbpool = page->next;
232 mmupdbfree(Proc *proc, Page *p)
235 panic("mmupdbfree: islo");
238 p->next = proc->mmufree;
241 p->next = m->pdbpool;
248 * A user-space memory segment has been deleted, or the
249 * process is exiting. Clear all the pde entries for user-space
250 * memory mappings and device mappings. Any entries that
251 * are needed will be paged back in as necessary.
254 mmuptefree(Proc* proc)
260 if(proc->mmupdb == nil || proc->mmuused == nil)
263 pdb = tmpmap(proc->mmupdb);
264 last = &proc->mmuused;
265 for(page = *last; page; page = page->next){
266 pdb[page->daddr] = 0;
271 *last = proc->mmufree;
272 proc->mmufree = proc->mmuused;
277 taskswitch(ulong pdb, ulong stack)
292 mmuswitch(Proc* proc)
303 if(proc->mmupdb != nil){
304 pdb = tmpmap(proc->mmupdb);
305 pdb[PDX(MACHADDR)] = m->pdb[PDX(MACHADDR)];
307 taskswitch(proc->mmupdb->pa, (ulong)(proc->kstack+KSTACK));
309 taskswitch(PADDR(m->pdb), (ulong)(proc->kstack+KSTACK));
311 memmove(&m->gdt[PROCSEG0], proc->gdt, sizeof(proc->gdt));
312 if((x = (ulong)proc->ldt) && (n = proc->nldt) > 0){
313 m->gdt[LDTSEG].d0 = (x<<16)|((n * sizeof(Segdesc)) - 1);
314 m->gdt[LDTSEG].d1 = (x&0xFF000000)|((x>>16)&0xFF)|SEGLDT|SEGPL(0)|SEGP;
321 * Release any pages allocated for a page directory base or page-tables
323 * switch to the prototype pdb for this processor (m->pdb);
324 * call mmuptefree() to place all pages used for page-tables (proc->mmuused)
325 * onto the process' free list (proc->mmufree). This has the side-effect of
326 * cleaning any user entries in the pdb (proc->mmupdb);
327 * if there's a pdb put it in the cache of pre-initialised pdb's
328 * for this processor (m->pdbpool) or on the process' free list;
329 * finally, place any pages freed back into the free pool (palloc).
330 * This routine is only called from schedinit() with palloc locked.
333 mmurelease(Proc* proc)
339 panic("mmurelease: islo");
340 taskswitch(PADDR(m->pdb), (ulong)m + BY2PG);
341 if(proc->kmaptable != nil){
342 if(proc->mmupdb == nil)
343 panic("mmurelease: no mmupdb");
344 if(--proc->kmaptable->ref != 0)
345 panic("mmurelease: kmap ref %ld", proc->kmaptable->ref);
347 panic("mmurelease: nkmap %d", proc->nkmap);
349 * remove kmaptable from pdb before putting pdb up for reuse.
351 pdb = tmpmap(proc->mmupdb);
352 if(PPN(pdb[PDX(KMAP)]) != proc->kmaptable->pa)
353 panic("mmurelease: bad kmap pde %#.8lux kmap %#.8lux",
354 pdb[PDX(KMAP)], proc->kmaptable->pa);
358 * move kmaptable to free list.
360 pagechainhead(proc->kmaptable);
361 proc->kmaptable = nil;
363 if(proc->mmupdb != nil){
365 mmupdbfree(proc, proc->mmupdb);
368 for(page = proc->mmufree; page != nil; page = next){
371 panic("mmurelease: page->ref %ld", page->ref);
374 if(proc->mmufree != nil && palloc.r.p != nil)
377 if(proc->ldt != nil){
385 * Allocate and install pdb for the current process.
394 if(up->mmupdb != nil)
396 page = mmupdballoc();
398 if(up->mmupdb != nil){
400 * Perhaps we got an interrupt while
401 * mmupdballoc was sleeping and that
402 * interrupt allocated an mmupdb?
405 mmupdbfree(up, page);
410 pdb[PDX(MACHADDR)] = m->pdb[PDX(MACHADDR)];
413 putcr3(up->mmupdb->pa);
418 * Update the mmu in response to a user fault. pa may have PTEWRITE set.
421 putmmu(uintptr va, uintptr pa, Page*)
426 if(up->mmupdb == nil)
430 * We should be able to get through this with interrupts
431 * turned on (if we get interrupted we'll just pick up
432 * where we left off) but we get many faults accessing
433 * vpt[] near the end of this function, and they always happen
434 * after the process has been switched out and then
435 * switched back, usually many times in a row (perhaps
436 * it cannot switch back successfully for some reason).
438 * In any event, I'm tired of searching for this bug.
439 * Turn off interrupts during putmmu even though
440 * we shouldn't need to. - rsc
444 if(!(vpd[PDX(va)]&PTEVALID)){
445 if(up->mmufree == 0){
447 page = newpage(0, 0, 0);
452 up->mmufree = page->next;
454 vpd[PDX(va)] = PPN(page->pa)|PTEUSER|PTEWRITE|PTEVALID;
455 /* page is now mapped into the VPT - clear it */
456 memset((void*)(VPT+PDX(va)*BY2PG), 0, BY2PG);
457 page->daddr = PDX(va);
458 page->next = up->mmuused;
462 vpt[VPTX(va)] = pa|PTEUSER|PTEVALID;
465 if(getcr3() != up->mmupdb->pa)
466 print("bad cr3 %#.8lux %#.8lux\n", getcr3(), up->mmupdb->pa);
471 * Double-check the user MMU.
472 * Error checking only.
475 checkmmu(uintptr va, uintptr pa)
479 if(!(vpd[PDX(va)]&PTEVALID) || !(vpt[VPTX(va)]&PTEVALID))
481 if(PPN(vpt[VPTX(va)]) != pa)
482 print("%ld %s: va=%#p pa=%#p pte=%#08lux\n",
484 va, pa, vpt[VPTX(va)]);
488 * Walk the page-table pointed to by pdb and return a pointer
489 * to the entry for virtual address va at the requested level.
490 * If the entry is invalid and create isn't requested then bail
491 * out early. Otherwise, for the 2nd level walk, allocate a new
492 * page-table page and register it in the 1st level. This is used
493 * only to edit kernel mappings, which use pages from kernel memory,
494 * so it's okay to use KADDR to look at the tables.
497 mmuwalk(ulong* pdb, ulong va, int level, int create)
502 table = &pdb[PDX(va)];
503 if(!(*table & PTEVALID) && create == 0)
516 panic("mmuwalk2: va %luX entry %luX", va, *table);
517 if(!(*table & PTEVALID)){
519 * Have to call low-level allocator from
520 * memory.c if we haven't set up the xalloc
523 if(conf.mem[0].npage != 0)
524 map = xspanalloc(BY2PG, BY2PG, 0);
528 panic("mmuwalk xspanalloc failed");
529 *table = PADDR(map)|PTEWRITE|PTEVALID;
531 table = KADDR(PPN(*table));
532 return &table[PTX(va)];
537 * Device mappings are shared by all procs and processors and
538 * live in the virtual range VMAP to VMAP+VMAPSIZE. The master
539 * copy of the mappings is stored in mach0->pdb, and they are
540 * paged in from there as necessary by vmapsync during faults.
543 static Lock vmaplock;
545 static int findhole(ulong *a, int n, int count);
546 static ulong vmapalloc(ulong size);
547 static void pdbunmap(ulong*, ulong, int);
550 * Add a device mapping to the vmap range.
553 vmap(ulong pa, int size)
559 * might be asking for less than a page.
566 size = ROUND(size, BY2PG);
568 print("vmap pa=0 pc=%#p\n", getcallerpc(&pa));
572 if((va = vmapalloc(size)) == 0
573 || pdbmap(MACHP(0)->pdb, pa|PTEUNCACHED|PTEWRITE, va, size) < 0){
578 /* avoid trap on local processor
579 for(i=0; i<size; i+=4*MB)
583 // print(" vmap %#.8lux %d => %#.8lux\n", pa+o, osize, va+o);
584 return (void*)(va + o);
588 findhole(ulong *a, int n, int count)
605 * Look for free space in the vmap.
608 vmapalloc(ulong size)
614 vpdb = &MACHP(0)->pdb[PDX(VMAP)];
615 vpdbsize = VMAPSIZE/(4*MB);
618 n = (size+4*MB-1) / (4*MB);
619 if((o = findhole(vpdb, vpdbsize, n)) != -1)
620 return VMAP + o*4*MB;
623 n = (size+BY2PG-1) / BY2PG;
624 for(i=0; i<vpdbsize; i++)
625 if((vpdb[i]&PTEVALID) && !(vpdb[i]&PTESIZE))
626 if((o = findhole(KADDR(PPN(vpdb[i])), WD2PG, n)) != -1)
627 return VMAP + i*4*MB + o*BY2PG;
628 if((o = findhole(vpdb, vpdbsize, 1)) != -1)
629 return VMAP + o*4*MB;
632 * could span page directory entries, but not worth the trouble.
633 * not going to be very much contention.
639 * Remove a device mapping from the vmap range.
640 * Since pdbunmap does not remove page tables, just entries,
641 * the call need not be interlocked with vmap.
644 vunmap(void *v, int size)
652 * might not be aligned
658 size = ROUND(size, BY2PG);
660 if(size < 0 || va < VMAP || va+size > VMAP+VMAPSIZE)
661 panic("vunmap va=%#.8lux size=%#x pc=%#.8lux",
662 va, size, getcallerpc(&v));
664 pdbunmap(MACHP(0)->pdb, va, size);
667 * Flush mapping from all the tlbs and copied pdbs.
668 * This can be (and is) slow, since it is called only rarely.
669 * It is possible for vunmap to be called with up == nil,
670 * e.g. from the reset/init driver routines during system
671 * boot. In that case it suffices to flush the MACH(0) TLB
674 if(!active.thunderbirdsarego){
675 putcr3(PADDR(MACHP(0)->pdb));
678 for(i=0; i<conf.nproc; i++){
685 for(i=0; i<conf.nmach; i++){
691 for(i=0; i<conf.nmach; i++){
694 while((active.machs&(1<<nm->machno)) && nm->flushmmu)
700 * Add kernel mappings for pa -> va for a section of size bytes.
703 pdbmap(ulong *pdb, ulong pa, ulong va, int size)
706 ulong pgsz, *pte, *table;
712 if((MACHP(0)->cpuiddx & Pse) && (getcr4() & 0x10))
717 for(off=0; off<size; off+=pgsz){
718 table = &pdb[PDX(va+off)];
719 if((*table&PTEVALID) && (*table&PTESIZE))
720 panic("vmap: va=%#.8lux pa=%#.8lux pde=%#.8lux",
721 va+off, pa+off, *table);
724 * Check if it can be mapped using a 4MB page:
725 * va, pa aligned and size >= 4MB and processor can do it.
727 if(pse && (pa+off)%(4*MB) == 0 && (va+off)%(4*MB) == 0 && (size-off) >= 4*MB){
728 *table = (pa+off)|flag|PTESIZE|PTEVALID;
731 pte = mmuwalk(pdb, va+off, 2, 1);
733 panic("vmap: va=%#.8lux pa=%#.8lux pte=%#.8lux",
734 va+off, pa+off, *pte);
735 *pte = (pa+off)|flag|PTEVALID;
743 * Remove mappings. Must already exist, for sanity.
744 * Only used for kernel mappings, so okay to use KADDR.
747 pdbunmap(ulong *pdb, ulong va, int size)
754 table = &pdb[PDX(va)];
755 if(!(*table & PTEVALID))
756 panic("vunmap: not mapped");
757 if(*table & PTESIZE){
759 panic("vunmap: misaligned: %#p", va);
764 table = KADDR(PPN(*table));
765 if(!(table[PTX(va)] & PTEVALID))
766 panic("vunmap: not mapped");
773 * Handle a fault by bringing vmap up to date.
774 * Only copy pdb entries and they never go away,
775 * so no locking needed.
782 if(va < VMAP || va >= VMAP+VMAPSIZE)
785 entry = MACHP(0)->pdb[PDX(va)];
786 if(!(entry&PTEVALID))
788 if(!(entry&PTESIZE)){
789 /* make sure entry will help the fault */
790 table = KADDR(PPN(entry));
791 if(!(table[PTX(va)]&PTEVALID))
794 vpd[PDX(va)] = entry;
796 * TLB doesn't cache negative results, so no flush needed.
803 * KMap is used to map individual pages into virtual memory.
804 * It is rare to have more than a few KMaps at a time (in the
805 * absence of interrupts, only two at a time are ever used,
806 * but interrupts can stack). The mappings are local to a process,
807 * so we can use the same range of virtual address space for
808 * all processes without any coordination.
810 #define kpt (vpt+VPTX(KMAP))
811 #define NKPT (KMAPSIZE/BY2PG)
819 panic("kmap: up=0 pc=%#.8lux", getcallerpc(&page));
820 if(up->mmupdb == nil)
823 panic("kmap %lud %s: nkmap=%d", up->pid, up->text, up->nkmap);
826 * Splhi shouldn't be necessary here, but paranoia reigns.
827 * See comment in putmmu above.
831 if(!(vpd[PDX(KMAP)]&PTEVALID)){
832 /* allocate page directory */
833 if(KMAPSIZE > BY2XPG)
834 panic("bad kmapsize");
835 if(up->kmaptable != nil)
838 up->kmaptable = newpage(0, 0, 0);
840 vpd[PDX(KMAP)] = up->kmaptable->pa|PTEWRITE|PTEVALID;
842 memset(kpt, 0, BY2PG);
843 kpt[0] = page->pa|PTEWRITE|PTEVALID;
848 if(up->kmaptable == nil)
849 panic("no kmaptable");
851 for(i=0; i<NKPT; i++){
852 if(kpt[(i+o)%NKPT] == 0){
854 kpt[o] = page->pa|PTEWRITE|PTEVALID;
857 return (KMap*)(KMAP+o*BY2PG);
860 panic("out of kmap");
870 if(up->mmupdb == nil || !(vpd[PDX(KMAP)]&PTEVALID))
871 panic("kunmap: no kmaps");
872 if(va < KMAP || va >= KMAP+KMAPSIZE)
873 panic("kunmap: bad address %#.8lux pc=%#p", va, getcallerpc(&k));
874 if(!(vpt[VPTX(va)]&PTEVALID))
875 panic("kunmap: not mapped %#.8lux pc=%#p", va, getcallerpc(&k));
878 panic("kunmap %lud %s: nkmap=%d", up->pid, up->text, up->nkmap);
884 * Temporary one-page mapping used to edit page directories.
886 * The fasttmp #define controls whether the code optimizes
887 * the case where the page is already mapped in the physical
899 panic("tmpaddr: islo");
901 if(fasttmp && p->pa < -KZERO)
905 * PDX(TMPADDR) == PDX(MACHADDR), so this
906 * entry is private to the processor and shared
907 * between up->mmupdb (if any) and m->pdb.
909 entry = &vpt[VPTX(TMPADDR)];
910 if(!(*entry&PTEVALID)){
911 for(i=KZERO; i<=CPU0MACH; i+=BY2PG)
912 print("%#p: *%#p=%#p (vpt=%#p index=%#p)\n", i, &vpt[VPTX(i)], vpt[VPTX(i)], vpt, VPTX(i));
913 panic("tmpmap: no entry");
915 if(PPN(*entry) != PPN(TMPADDR-KZERO))
916 panic("tmpmap: already mapped entry=%#.8lux", *entry);
917 *entry = p->pa|PTEWRITE|PTEVALID;
919 return (void*)TMPADDR;
928 panic("tmpaddr: islo");
929 if(fasttmp && (ulong)v >= KZERO && v != (void*)TMPADDR)
931 if(v != (void*)TMPADDR)
932 panic("tmpunmap: bad address");
933 entry = &vpt[VPTX(TMPADDR)];
934 if(!(*entry&PTEVALID) || PPN(*entry) == PPN(PADDR(TMPADDR)))
935 panic("tmpmap: not mapped entry=%#.8lux", *entry);
936 *entry = PPN(TMPADDR-KZERO)|PTEWRITE|PTEVALID;
941 * These could go back to being macros once the kernel is debugged,
942 * but the extra checking is nice to have.
947 if(pa >= (ulong)-KZERO)
948 panic("kaddr: pa=%#.8lux", pa);
949 return (void*)(pa+KZERO);
959 panic("paddr: va=%#.8lux pc=%#p", va, getcallerpc(&v));
967 countpagerefs(ulong *ref, int print)
975 for(i=0; i<conf.nproc; i++){
979 if(ref[pagenumber(p->mmupdb)])
980 iprint("page %#.8lux is proc %d (pid %lud) pdb\n",
981 p->mmupdb->pa, i, p->pid);
984 if(ref[pagenumber(p->mmupdb)]++ == 0)
987 iprint("page %#.8lux is proc %d (pid %lud) pdb but has other refs!\n",
988 p->mmupdb->pa, i, p->pid);
992 if(ref[pagenumber(p->kmaptable)])
993 iprint("page %#.8lux is proc %d (pid %lud) kmaptable\n",
994 p->kmaptable->pa, i, p->pid);
997 if(ref[pagenumber(p->kmaptable)]++ == 0)
1000 iprint("page %#.8lux is proc %d (pid %lud) kmaptable but has other refs!\n",
1001 p->kmaptable->pa, i, p->pid);
1003 for(pg=p->mmuused; pg; pg=pg->next){
1005 if(ref[pagenumber(pg)])
1006 iprint("page %#.8lux is on proc %d (pid %lud) mmuused\n",
1010 if(ref[pagenumber(pg)]++ == 0)
1013 iprint("page %#.8lux is on proc %d (pid %lud) mmuused but has other refs!\n",
1016 for(pg=p->mmufree; pg; pg=pg->next){
1018 if(ref[pagenumber(pg)])
1019 iprint("page %#.8lux is on proc %d (pid %lud) mmufree\n",
1023 if(ref[pagenumber(pg)]++ == 0)
1026 iprint("page %#.8lux is on proc %d (pid %lud) mmufree but has other refs!\n",
1031 iprint("%d pages in proc mmu\n", n);
1033 for(i=0; i<conf.nmach; i++){
1035 for(pg=mm->pdbpool; pg; pg=pg->next){
1037 if(ref[pagenumber(pg)])
1038 iprint("page %#.8lux is in cpu%d pdbpool\n",
1042 if(ref[pagenumber(pg)]++ == 0)
1045 iprint("page %#.8lux is in cpu%d pdbpool but has other refs!\n",
1050 iprint("%d pages in mach pdbpools\n", n);
1051 for(i=0; i<conf.nmach; i++)
1052 iprint("cpu%d: %d pdballoc, %d pdbfree\n",
1053 i, MACHP(i)->pdballoc, MACHP(i)->pdbfree);
1058 checkfault(ulong, ulong)
1063 * Return the number of bytes that can be accessed via KADDR(pa).
1064 * If pa is not a valid argument to KADDR, return 0.