tavor_device_info_report
tavor_device_info_report(state);
static void tavor_device_info_report(tavor_state_t *state);