Searched refs:board_processor_id (Results 1 – 1 of 1) sorted by relevance
81 static RaspiProcessorId board_processor_id(uint32_t board_rev) in board_processor_id() function93 return soc_property[board_processor_id(board_rev)].type; in board_soc_type()98 return soc_property[board_processor_id(board_rev)].cores_count; in cores_count()300 setup_boot(machine, &soc->cpu[0].core, board_processor_id(board_rev), in raspi_base_machine_init()