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 1bff8d6..28677f6 100644 --- a/demo/demo.h +++ b/demo/demo.h @@ -24,6 +24,7 @@ void spin_unlock(struct lock *lock, unsigned irq_save); void console_init(void); void print(const char *fmt, ...); +void read_line(char *vuf, unsigned size); int cpus_ready(void); void run_cpu(unsigned num); @@ -31,4 +32,7 @@ void run_cpus(unsigned mask); void halt_cpu(unsigned num); void halt_cpus(unsigned mask); +int strcmp(const char *s1, const char *s2); +char *strtok_input(char **tokens); + #endif |