![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <bl_uapp/bl_syscall_public.h>
#include <console/console.h>
#include <console/cbmem_console.h>
#include <console/streams.h>
#include <console/uart.h>
#include <stdarg.h>
Go to the source code of this file.
Functions | |
void | console_hw_init (void) |
int | printk (int msg_level, const char *fmt,...) |
int | vprintk (int msg_level, const char *fmt, va_list args) |
Definition at line 10 of file printk.c.
References __cbmemc_init(), and __uart_init().
int printk | ( | int | msg_level, |
const char * | fmt, | ||
... | |||
) |
int vprintk | ( | int | msg_level, |
const char * | fmt, | ||
va_list | args | ||
) |
Definition at line 28 of file printk.c.
References __cbmemc_tx_byte(), __uart_tx_byte(), args, buf, console_log_level(), svc_debug_print(), and vsnprintf().