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