| 37,6 → 37,8 |
|---|
| #include <putchar.h> |
| #include <synch/spinlock.h> |
| #include <arch/asm.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| |
| SPINLOCK_INITIALIZE(printf_lock); /**< vprintf spinlock */ |
| |
| 60,13 → 62,13 |
|---|
| { |
| struct printf_spec ps = {(int(*)(void *, size_t, void *)) vprintf_write, NULL}; |
| |
| int irqpri = interrupts_disable(); |
| ipl_t ipl = interrupts_disable(); |
| spinlock_lock(&printf_lock); |
| |
| int ret = printf_core(fmt, &ps, ap); |
| |
| spinlock_unlock(&printf_lock); |
| interrupts_restore(irqpri); |
| interrupts_restore(ipl); |
| |
| return ret; |
| } |