![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <svc.h>
Data Fields | |
uint32_t | word0 |
uint32_t | word1 |
uint32_t | word2 |
uint32_t | word3 |
uint32_t cmd_param_debug_ex::word0 |
Definition at line 73 of file svc.h.
Referenced by svc_debug_print_ex().