Searched refs:board_type (Results 1 – 2 of 2) sorted by relevance
649 uint32_t board_type; in bl2_populate_compatible_string() local658 rcar_get_board_type(&board_type, &board_rev); in bl2_populate_compatible_string()659 switch (board_type) { in bl2_populate_compatible_string()1380 uint32_t board_type; in bl2_init_generic_timer()1397 rcar_get_board_type(&board_type, &board_rev); in bl2_init_generic_timer()1398 if (BOARD_SALVATOR_XS == board_type) { in bl2_init_generic_timer()
428 uint32_t board_type; in bl2_populate_compatible_string() local437 rzg_get_board_type(&board_type, &board_rev); in bl2_populate_compatible_string()438 switch (board_type) { in bl2_populate_compatible_string()