coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
efi_wrapper.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: BSD-3-Clause */
2 
3 #ifndef __EFI_WRAPPER_H__
4 #define __EFI_WRAPPER_H__
5 
6 #define EFI_WRAPPER_VER 2
7 
8 /* Provide generic x86 calling conventions. */
9 #define ABI_X86 __attribute((regparm(0)))
10 
11 /* Errors returned by the EFI wrapper. */
14 };
15 
17  /* Mainboard Inputs */
18  int version;
19 
20  void ABI_X86 (*console_out)(unsigned char byte);
21 
24 
26 #endif
struct efi_wrapper_params __packed
int ABI_X86(* efi_wrapper_entry_t)(struct efi_wrapper_params *)
Definition: efi_wrapper.h:25
#define ABI_X86
Definition: efi_wrapper.h:9
efi_wrapper_error
Definition: efi_wrapper.h:12
@ INVALID_VER
Definition: efi_wrapper.h:13
void ABI_X86(* console_out)(unsigned char byte)
Definition: efi_wrapper.h:20
unsigned int tsc_ticks_per_microsecond
Definition: efi_wrapper.h:22