Searched refs:board_type (Results 1 – 2 of 2) sorted by relevance
650 uint32_t board_type; in bl2_populate_compatible_string() local659 rcar_get_board_type(&board_type, &board_rev); in bl2_populate_compatible_string()660 switch (board_type) { in bl2_populate_compatible_string()1381 uint32_t board_type; in bl2_init_generic_timer()1398 rcar_get_board_type(&board_type, &board_rev); in bl2_init_generic_timer()1399 if (BOARD_SALVATOR_XS == board_type) { in bl2_init_generic_timer()
429 uint32_t board_type; in bl2_populate_compatible_string() local438 rzg_get_board_type(&board_type, &board_rev); in bl2_populate_compatible_string()439 switch (board_type) { in bl2_populate_compatible_string()