src: rename variables to be prefixed by _STARPU_MIC

src/core/topology.c

@@ -350,12 +350,12 @@ _starpu_init_mic_node (struct _starpu_machine_config *config, int mic_idx,
 	 * of node it is (architecture and type) as there is no way to discover
 	 * it itself */
 	char mic_idx_env[32];
-	sprintf(mic_idx_env, "DEVID=%d", mic_idx);
+	sprintf(mic_idx_env, "_STARPU_MIC_DEVID=%d", mic_idx);
 
 	/* XXX: this is currently necessary so that the remote process does not
 	 * segfault. */
 	char nb_mic_env[32];
-	sprintf(nb_mic_env, "NB_MIC=%d", 2);
+	sprintf(nb_mic_env, "_STARPU_MIC_NB=%d", 2);
 
 	const char *mic_sink_env[] = {"STARPU_SINK=STARPU_MIC", mic_idx_env, nb_mic_env, NULL};
 

src/drivers/mp_common/mp_common.c

@@ -74,8 +74,8 @@ _starpu_mp_common_node_create(enum _starpu_mp_node_kind node_kind,
 
 	case STARPU_MIC_SINK:
 	{
-		node->devid = atoi(getenv("DEVID"));;
-		node->nb_mp_sinks = atoi(getenv("NB_MIC"));
+		node->devid = atoi(getenv("_STARPU_MIC_DEVID"));
+		node->nb_mp_sinks = atoi(getenv("_STARPU_MIC_NB"));
 
 		node->init = _starpu_mic_sink_init;
 		node->launch_workers = _starpu_mic_sink_launch_workers;