Searched refs:extratimes (Results 1 – 1 of 1) sorted by relevance
726 bool *extratimes = (bool *)xmalloc(sizeof(bool)); /* extratime is bool */ in main_sched_rtds() local778 extratimes = xrealloc(extratimes, e_size); in main_sched_rtds()786 extratimes[e_index++] = strtol(optarg, NULL, 10); in main_sched_rtds()896 scinfo.vcpus[i].extratime = extratimes[i] ? 1 : 0; in main_sched_rtds()905 scinfo.vcpus[0].extratime = extratimes[0] ? 1 : 0; in main_sched_rtds()922 free(extratimes); in main_sched_rtds()
Completed in 13 milliseconds