skrll c304f8b6cf s/0/KERNEL_PID/ for correctness		2014-10-29 10:53:41 +00:00
..
pmap_segtab.c
pmap_synci.c
pmap_tlb.c	s/0/KERNEL_PID/ for correctness	2014-10-29 10:53:41 +00:00
pmap_tlb.h	Change cpu_tlb_info definition based on PMAP_TLB_MAX instead of MULTIPROCESSOR	2014-04-03 14:46:25 +00:00
pmap.c	Mark a potentially unused variable	2014-02-25 15:20:29 +00:00
pmap.h	Merge riastradh-drm2 to HEAD.	2014-03-18 18:20:35 +00:00
tlb.h
vmpagemd.h	use _KERNEL_OPT around #include	2014-03-04 06:14:53 +00:00