vkernel64: Fix the way syscalls are passed to the vkernel.
[dragonfly.git] / sys / platform / vkernel64 /
drwxr-xr-x   ..
drwxr-xr-x - amd64
drwxr-xr-x - conf
drwxr-xr-x - include
drwxr-xr-x - platform