diff options
Diffstat (limited to 'src/basic/cpu-set-util.h')
-rw-r--r-- | src/basic/cpu-set-util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/basic/cpu-set-util.h b/src/basic/cpu-set-util.h index 295028cb54..8519a9b6c8 100644 --- a/src/basic/cpu-set-util.h +++ b/src/basic/cpu-set-util.h @@ -27,6 +27,7 @@ int cpu_set_add_all(CPUSet *a, const CPUSet *b); char* cpu_set_to_string(const CPUSet *a); char *cpu_set_to_range_string(const CPUSet *a); +char *cpu_set_to_range_string_kernel(const CPUSet *a); int cpu_set_realloc(CPUSet *cpu_set, unsigned ncpus); int parse_cpu_set_full( |