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