Get the MI portions of VKERNEL to build, start linking it against libc.
[dragonfly.git] / sys / platform / vkernel / include /
drwxr-xr-x   ..
-rw-r--r-- 1080 clock.h
-rw-r--r-- 5107 globaldata.h
-rw-r--r-- 3078 lock.h
-rw-r--r-- 1991 md_var.h
-rw-r--r-- 2980 pcb.h
-rw-r--r-- 7919 pmap.h
-rw-r--r-- 2162 proc.h
-rw-r--r-- 2417 ptrace.h
-rw-r--r-- 4306 smp.h
-rw-r--r-- 3556 thread.h
-rw-r--r-- 1969 types.h
-rw-r--r-- 3212 vmparam.h