vkernel - Sync to recent API changes
[dragonfly.git] / sys / platform / 
tree9c1284cbcb34a77091dd50c49109dd6193595121
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64