// In real scenarios, core count and IDs could be discovered dynamically using other means
  uint32_t NCORES = 4;
  uint32_t CORE_IDS[] = { 0, 1, 2, 3 };
  uint32_t available_freqs[32];
  int setspeed_fds[NCORES];
  uint32_t i, j, nfreqs, freq;

  // populate "available_freqs" array
  nfreqs = cpufreq_bindings_get_scaling_available_frequencies(-1, CORE_IDS[0], available_freqs, 32);
  for (i = 0; i < NCORES; i++) {
    // set "userspace" governor on all cores
    cpufreq_bindings_set_scaling_governor(-1, CORE_IDS[i], "userspace", sizeof("userspace"));
    // cache file descriptors for setting frequencies with "userspace" governor
    // a "performance" governor would instead use CPUFREQ_BINDINGS_FILE_SCALING_MAX_FREQ
    setspeed_fds[i] = cpufreq_bindings_file_open(CORE_IDS[i], CPUFREQ_BINDINGS_FILE_SCALING_SETSPEED, -1);
  }

  // do application work, breaking from loop when finished...
  while (do_work()) {
    // pick new frequency from "available_freqs" for 0 <= j < nfreqs
    freq = available_freqs[j];
    for (i = 0; i < NCORES; i++) {
      // set new frequencies using cached file descriptors
      cpufreq_bindings_set_scaling_setspeed(setspeed_fds[i], CORE_IDS[i], freq);
    }
  }

  for (i = 0; i < NCORES; i++) {
    // close cached file descriptors
    cpufreq_bindings_file_close(setspeed_fds[i]);
    // perhaps set scaling governor back to "ondemand", or whatever the system default is
    cpufreq_bindings_set_scaling_governor(-1, CORE_IDS[i], "ondemand", sizeof("ondemand"));
  }