diff options
Diffstat (limited to 'demo/demo.h')
| -rw-r--r-- | demo/demo.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/demo/demo.h b/demo/demo.h index 28677f6..5cf41da 100644 --- a/demo/demo.h +++ b/demo/demo.h @@ -35,4 +35,6 @@ void halt_cpus(unsigned mask); int strcmp(const char *s1, const char *s2); char *strtok_input(char **tokens); +int parse_cpu_mask(char **tokens, unsigned *mask); + #endif |