Here is a list of all file members with links to the files they belong to:

- d -

• dev_init : dev.h, plic.c, uart.c
• dev_read() : dev.h, dev.c
• DEV_TABLE : dev.h, virt.c
• dev_write() : dev.h, dev.c
• DRIVER_DEV_CAPACITY : config.h