Searched refs:fg_cpuset_file (Results 1 – 1 of 1) sorted by relevance
48 FILE* fg_cpuset_file = NULL; in migrateToBoost() local51 fg_cpuset_file = fopen("/dev/cpuset/foreground/tasks", "r+"); in migrateToBoost()52 if (ferror(fg_cpuset_file)) { in migrateToBoost()57 fclose(fg_cpuset_file); in migrateToBoost()62 if (!fg_cpuset_file || !boost_cpuset_fd) { in migrateToBoost()63 fclose(fg_cpuset_file); in migrateToBoost()68 while (fgets(buf, 16, fg_cpuset_file)) { in migrateToBoost()79 if (feof(fg_cpuset_file)) in migrateToBoost()82 fclose(fg_cpuset_file); in migrateToBoost()