Searched refs:convert_dev_id (Results 1 - 1 of 1) sorted by relevance
/u-boot/drivers/ddr/marvell/a38x/ | ||
H A D | ddr3_debug.c | 285 static char *convert_dev_id(u32 dev_id) function 331 printf("\tDevice ID: %s\n", convert_dev_id(info_ptr.device_id)); |
Completed in 107 milliseconds