Encore un peu de boot1 :

MakeName	(0X25EC,	"DMC_Allocate_Memory");
MakeName	(0X7514,	"lcd_power_off");
MakeName	(0X7640,	"GPIO_is_initialized");
MakeName	(0X7668,	"GPIO_init");
MakeName	(0X7758,	"GPIO_cleanup");
MakeName	(0X77EC,	"GPIO_set_handler");
MakeName	(0X7884,	"GPIO_lisrproc");
MakeName	(0X795C,	"get_nand_id");
MakeName	(0X7974,	"flash_set_debug_print_hook");
MakeName	(0X7994,	"flash_debug_print");
MakeName	(0X7A2C,	"flash_ECC_word_to_bytes");
MakeName	(0X7A58,	"flash_reset");
MakeName	(0X7A84,	"flash_query_chip_type");
MakeName	(0X7DA4,	"flash_query_status");
MakeName	(0X7DC0,	"flash_read");
MakeName	(0X7E58,	"flash_read_whole_page");
MakeName	(0X7E94,	"flash_read_extra");
MakeName	(0X7ED0,	"flash_write");
MakeName	(0X7FA8,	"flash_write_with_ECC");
MakeName	(0X81A0,	"flash_get_page_data_size");
MakeName	(0X81D8,	"flash_get_num_blocks");
MakeName	(0X8218,	"flash_get_block_data_size");
MakeName	(0X829C,	"flash_round_down_to_mult_of_page_size");
MakeName	(0X82B4,	"flash_is_block_bad");
MakeName	(0X88A4,	"flash_ECC_decode");
MakeName	(0X90EC,	"get_clock_speed_Hz");
MakeName	(0XD60C,	"SMC_Create_Semaphore");
MakeName	(0XD6C0,	"SMC_Delete_Semaphore");
MakeName	(0XD79C,	"SMC_Obtain_Semaphore");
MakeName	(0XD874,	"SMC_Release_Semaphore");
MakeName	(0XE2F0,	"flash_erase_range");
MakeName	(0XEB68,	"preload_erase_boot2");
MakeName	(0XEB88,	"preload_erase_diags");
MakeName	(0XEBA8,	"preload_update_boot2");
MakeName	(0XEBC0,	"preload_update_diags");
MakeName	(0X19724,	"flash_chip_type_table");