diff options
| author | Alejandro Soto <alejandro@34project.org> | 2023-10-04 03:46:29 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2023-10-04 05:04:04 -0600 |
| commit | f52299cf837951cbc1dc92fd0d084444ac3dc712 (patch) | |
| tree | 81db03717f1571d0e1e75f8de8d7915a0c7cb084 /demo/demo.h | |
| parent | 3de2c7e7dd214f80b8b9cca575e42e0b1b08034d (diff) | |
demo: implement cache debug
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 |