Replace NOCDEV with NULL. NOCDEV was ((void *)-1) and as inherited
[games.git] / sys / platform /
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - vkernel