![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <svc.h>
Data Fields | |
uint32_t | boot_mode |
uint32_t cmd_param_set_platform_boot_mode::boot_mode |
Definition at line 142 of file svc.h.
Referenced by svc_set_platform_boot_mode().