Searched refs:g_dev_id (Results 1 – 1 of 1) sorted by relevance
27 u32 g_dev_id = -1; variable208 if (g_dev_id != -1) in sys_env_device_id_get()209 return g_dev_id; in sys_env_device_id_get()211 g_dev_id = reg_read(DEVICE_SAMPLE_AT_RESET1_REG); in sys_env_device_id_get()212 g_dev_id = g_dev_id >> SAR_DEV_ID_OFFS & SAR_DEV_ID_MASK; in sys_env_device_id_get()213 printf("Detected Device ID %s\n", device_id_str[g_dev_id]); in sys_env_device_id_get()215 return g_dev_id; in sys_env_device_id_get()
Completed in 2 milliseconds