Searched refs:device_id_str (Results 1 – 1 of 1) sorted by relevance
222 char *device_id_str[7] = { in sys_env_device_id_get() local231 printf("Detected Device ID %s\n", device_id_str[g_dev_id]); in sys_env_device_id_get()