Searched refs:get_core_name (Results 1 – 3 of 3) 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