vkernel64: Fix the way syscalls are passed to the vkernel.
[dragonfly.git] / sys / config /
drwxr-xr-x   ..
-rw-r--r-- 11923 GENERIC
-rw-r--r-- 101829 LINT
-rw-r--r-- 6259 SOEKRIS
-rw-r--r-- 3808 VKERNEL
-rw-r--r-- 3672 VKERNEL64
-rw-r--r-- 10978 X86_64_GENERIC