![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <svc.h>
Data Fields | |
char * | debug_buffer |
uint32_t | debug_buffer_len |
char* cmd_param_debug::debug_buffer |
Definition at line 68 of file svc.h.
Referenced by svc_debug_print().
uint32_t cmd_param_debug::debug_buffer_len |
Definition at line 69 of file svc.h.
Referenced by svc_debug_print().