coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <efi_wrapper.h>
Data Fields | |
int | version |
void ABI_X86(* | console_out )(unsigned char byte) |
unsigned int | tsc_ticks_per_microsecond |
Definition at line 16 of file efi_wrapper.h.
Definition at line 20 of file efi_wrapper.h.
unsigned int efi_wrapper_params::tsc_ticks_per_microsecond |
Definition at line 22 of file efi_wrapper.h.
Referenced by baytrail_run_reference_code().
int efi_wrapper_params::version |
Definition at line 18 of file efi_wrapper.h.
Referenced by baytrail_run_reference_code().