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