#include <console.h>#include <stdarg.h>#include <stdio.h>#include "devices/serial.h"#include "devices/vga.h"#include "threads/init.h"#include "threads/interrupt.h"#include "threads/synch.h"
Functions | |
| static void | vprintf_helper (char, void *) |
| static void | putchar_have_lock (uint8_t c) |
| void | console_init (void) |
| void | console_panic (void) |
| void | console_print_stats (void) |
| static void | acquire_console (void) |
| static void | release_console (void) |
| static bool | console_locked_by_current_thread (void) |
| int | vprintf (const char *format, va_list args) |
| int | puts (const char *s) |
| void | putbuf (const char *buffer, size_t n) |
| int | putchar (int c) |
Variables | |
| static struct lock | console_lock |
| static bool | use_console_lock |
| static int | console_lock_depth |
| static int64_t | write_cnt |
|
static |


| void console_init | ( | void | ) |


|
static |


| void console_panic | ( | void | ) |
| void console_print_stats | ( | void | ) |
| void putbuf | ( | const char * | buffer, |
| size_t | n | ||
| ) |


| int putchar | ( | int | c | ) |

|
static |


| int puts | ( | const char * | s | ) |
|
static |


| int vprintf | ( | const char * | format, |
| va_list | args | ||
| ) |

|
static |


|
static |
|
static |
|
static |
|
static |