matt 418abeab42 In the non-MP case, just initialize onproc to NULL.		2013-07-22 03:40:36 +00:00
..
pmap_segtab.c
pmap_synci.c
pmap_tlb.c	Make this kcpuset_t instead of the private __cpuset_t	2013-07-17 23:15:20 +00:00
pmap_tlb.h	If not MULTIPROCESSOR, just make cpu_tlb_info(ci) return &pmap_tlb0_info	2013-07-22 03:39:55 +00:00
pmap.c	In the non-MP case, just initialize onproc to NULL.	2013-07-22 03:40:36 +00:00
pmap.h	Make this kcpuset_t instead of the private __cpuset_t	2013-07-17 23:15:20 +00:00
tlb.h
vmpagemd.h