Searched refs:board_type (Results 1 – 5 of 5) sorted by relevance
97 uint16_t board_type, in cvmx_sysinfo_minimal_initialize() argument104 if (state.sysinfo.board_type) in cvmx_sysinfo_minimal_initialize()109 state.sysinfo.board_type = board_type; in cvmx_sysinfo_minimal_initialize()
80 uint16_t board_type; member147 uint16_t board_type,
82 uint16_t board_type; member
98 uint16_t board_type; member
75 return octeon_bootinfo->board_type == CVMX_BOARD_TYPE_SIM; in octeon_is_simulation()283 switch (octeon_bootinfo->board_type) { in octeon_halt()330 cvmx_board_type_to_string(octeon_bootinfo->board_type), in octeon_board_type_string()566 sysinfo->board_type = octeon_bootinfo->board_type; in prom_init()