os_kernel/device/console.c

#include "console.h"
#include "../thread/sync.h"
#include "../thread/thread.h"
#include "../lib/kernel/print.h"

static struct lock console_lock; // lock

void console_init(void)
{
    lock_init(&console_lock);
}
void console_acquire(void)
{
    lock_acquire(&console_lock);
}
void console_release(void)
{
    lock_release(&console_lock);
}
void console_put_str(char *str)
{
    console_acquire();
    put_str(str);
    console_release();
}
void console_put_char(uint8_t char_ascii)
{
    console_acquire();
    put_char(char_ascii);
    console_release();
}
void console_put_int(uint32_t num)
{
    console_acquire();
    put_int(num);
    console_release();
}