kernel: Use 'normal' types (i.e., uint8_t instead of __uint8_t).
[dragonfly.git] / sys / platform / 
tree85a7f7a484f23f679ca3f8bbd067e1685654bb41
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64