diff options
Diffstat (limited to '')
| -rw-r--r-- | demo/demo.h | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/demo/demo.h b/demo/demo.h new file mode 100644 index 0000000..1bff8d6 --- /dev/null +++ b/demo/demo.h @@ -0,0 +1,34 @@ +#ifndef DEMO_H +#define DEMO_H + +#define NUM_CPUS 4 + +struct lock +{ + volatile unsigned val; +}; + +struct cpu +{ + unsigned num; +}; + +/* R12 está reservado por la ABI + * https://gcc.gnu.org/onlinedocs/gcc/Global-Register-Variables.html + */ +register struct cpu *this_cpu asm("ip"); + +void spin_init(struct lock *lock); +void spin_lock(struct lock *lock, unsigned *irq_save); +void spin_unlock(struct lock *lock, unsigned irq_save); + +void console_init(void); +void print(const char *fmt, ...); + +int cpus_ready(void); +void run_cpu(unsigned num); +void run_cpus(unsigned mask); +void halt_cpu(unsigned num); +void halt_cpus(unsigned mask); + +#endif |