391 	core->board_id = id;  in smscore_set_board_id()
404 	return core->board_id;  in smscore_get_board_id()
719 	dev->board_id = SMS_BOARD_UNKNOWN;  in smscore_register_device()
827 	board = sms_get_board(coredev->board_id);  in smscore_configure_board()
875 	int board_id = smscore_get_board_id(coredev);  in smscore_start_device()  local
879 	if (board_id != SMS_BOARD_UNKNOWN && mode == DEVICE_MODE_NONE)  in smscore_start_device()
880 		mode = sms_get_board(board_id)->default_mode;  in smscore_start_device()
1101 	int board_id = smscore_get_board_id(coredev);  in smscore_get_fw_filename()  local
1112 	pr_debug("trying to get fw name from sms_boards board_id %d mode %d\n",  in smscore_get_fw_filename()
1113 		  board_id, mode);  in smscore_get_fw_filename()
1114 	fw = sms_get_board(board_id)->fw;  in smscore_get_fw_filename()