diff options
Diffstat (limited to 'demo/demo.h')
| -rw-r--r-- | demo/demo.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/demo/demo.h b/demo/demo.h index a8d81ce..ca6199e 100644 --- a/demo/demo.h +++ b/demo/demo.h @@ -35,10 +35,15 @@ void halt_cpus(unsigned mask); int strcmp(const char *s1, const char *s2); char *strtok_input(char **tokens); +int expect_end(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(char **tokens, unsigned *cpu); int parse_cpu_mask(char **tokens, unsigned *mask); -int expect_end(char **tokens); + +void cache_debug(unsigned cpu, void *ptr); #endif |
