Searched refs:board_get_name (Results 1 – 3 of 3) sorted by relevance
5 const char *board_get_name(void);
137 board_get_name(), in get_system_type()
720 const char *board_get_name(void) in board_get_name() function