kernel: Make SMP support default (and non-optional).
[dragonfly.git] / sys / platform / vkernel64 / platform /
drwxr-xr-x   ..
-rw-r--r-- 31274 busdma_machdep.c
-rw-r--r-- 10336 console.c
-rw-r--r-- 6142 copyio.c
-rw-r--r-- 5692 cothread.c
-rw-r--r-- 3023 globaldata.c
-rw-r--r-- 34109 init.c
-rw-r--r-- 3201 ipl_funcs.c
-rw-r--r-- 5697 kqueue.c
-rw-r--r-- 5111 machintr.c
-rw-r--r-- 79498 pmap.c
-rw-r--r-- 6993 pmap_inval.c
-rw-r--r-- 3117 shutdown.c
-rw-r--r-- 2139 sysarch.c
-rw-r--r-- 7305 systimer.c