prex: const correctness for device_open()
[prex.git] / sys / kern / 
tree26baa6c16e68abe771104b96bb4001dd6dfd77bb
drwxr-xr-x   ..
-rwxr-xr-x 165 Makefile
-rwxr-xr-x 8490 debug.c
-rwxr-xr-x 13288 device.c
-rwxr-xr-x 8742 except.c
-rwxr-xr-x 8238 irq.c
-rwxr-xr-x 2715 main.c
-rwxr-xr-x 16247 sched.c
-rwxr-xr-x 3392 syscalls.c
-rwxr-xr-x 4414 system.c
-rwxr-xr-x 13985 task.c
-rwxr-xr-x 13525 thread.c
-rwxr-xr-x 12307 timer.c