prex: const correctness for device_open()
tree403a84941f8996cc000c6eb9f405df33f47fb18e
-rwxr-xr-x 33915 ChangeLog
-rwxr-xr-x 281 Makefile
drwxr-xr-x - boot
drwxr-xr-x - conf
-rwxr-xr-x 2685 configure
drwxr-xr-x - dev
drwxr-xr-x - doc
drwxr-xr-x - mk
drwxr-xr-x - sys
drwxr-xr-x - user