Searched refs:board_name_decode (Results 1 – 9 of 9) sorted by relevance
28 const char *board_name_decode(void);
52 const char *board_name_decode(void);
71 const char *board_name_decode(void) in board_name_decode() function
49 const char *board_name_decode(void) in board_name_decode() function
48 const char *board_name_decode(void) in board_name_decode() function
115 NOTICE("TF-A running on %s %d\n", board_name_decode(), platform_version); in bl31_early_platform_setup2()
133 NOTICE("TF-A running on %s %d.%d\n", board_name_decode(), in bl31_early_platform_setup2()
158 board_name_decode(), in bl31_early_platform_setup2()