Searched refs:board_name_decode (Results 1 – 3 of 3) sorted by relevance
37 char *board_name_decode(void);
45 char *board_name_decode(void) in board_name_decode() function
98 NOTICE("TF-A running on %s %d.%d\n", board_name_decode(), in bl31_early_platform_setup2()