Searched refs:g_dev_id (Results 1 – 1 of 1) sorted by relevance
41 u32 g_dev_id = -1; variable226 if (g_dev_id != -1) in sys_env_device_id_get()227 return g_dev_id; in sys_env_device_id_get()229 g_dev_id = reg_read(DEVICE_SAMPLE_AT_RESET1_REG); in sys_env_device_id_get()230 g_dev_id = g_dev_id >> SAR_DEV_ID_OFFS & SAR_DEV_ID_MASK; in sys_env_device_id_get()231 printf("Detected Device ID %s\n", device_id_str[g_dev_id]); in sys_env_device_id_get()233 return g_dev_id; in sys_env_device_id_get()