Add platform vkernel64.
[dragonfly.git] / sys / platform / vkernel64 / platform /
drwxr-xr-x   ..
-rw-r--r-- 31549 busdma_machdep.c
-rw-r--r-- 10056 console.c
-rw-r--r-- 6287 copyio.c
-rw-r--r-- 5312 cothread.c
-rw-r--r-- 3032 globaldata.c
-rw-r--r-- 29598 init.c
-rw-r--r-- 3210 ipl_funcs.c
-rw-r--r-- 5648 kqueue.c
-rw-r--r-- 5052 machintr.c
-rw-r--r-- 81532 pmap.c
-rw-r--r-- 6993 pmap_inval.c
-rw-r--r-- 3196 shutdown.c
-rw-r--r-- 2139 sysarch.c
-rw-r--r-- 7563 systimer.c