All symbols starting with `d' in kernserv

• dequeue kernserv/queue.h:93
• DEVICE_FIXED kernserv/loadable_fs.h:141
• DEVICE_READONLY kernserv/loadable_fs.h:137
• DEVICE_REMOVABLE kernserv/loadable_fs.h:140
• DEVICE_WRITABLE kernserv/loadable_fs.h:138