Searched refs:get_core_name (Results 1 – 3 of 3) sorted by relevance
25 printf("Core: %s\n", get_core_name()); in checkboard()
77 const char *get_core_name(void);
130 const char *get_core_name(void) in get_core_name() function