Searched refs:get_core_name (Results 1 – 4 of 4) sorted by relevance
24 printf("Core: %s\n", get_core_name()); in checkboard()
76 const char *get_core_name(void);
129 const char *get_core_name(void) in get_core_name() function
562 const char *get_core_name(void) in get_core_name() function641 plat->name = get_core_name(); in imx8_cpu_probe()