#include <stdc.h>#include <devices.h>#include <sysdefs.h>extern DEVICE_TABLE_ENTRY mmc_driver;DEVICE_TABLE_ARRAY device_table_list[MaxDeviceDescriptors] = {	{ &mmc_driver },	{ NULL }}; //DEVICE_TABLE_LIST device_table = device_table_list;