coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fsp_debug_event.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef FSP_DEBUG_EVENT_H
4 #define FSP_DEBUG_EVENT_H
5 
6 /*
7  * This file to implement FSP_EVENT_HANDLER for Intel FSP to use.
8  * More details about this structure can be found here :
9  * http://github.com/tianocore/edk2/blob/master/IntelFsp2Pkg/Include/FspEas/FspApi.h
10  */
11 #include <efi/efi_datatype.h>
12 #include <fsp/soc_binding.h>
13 
14 /* fsp debug event handler */
16  efi_status_code_value_t ignored2, efi_uint32_t ignored3, efi_guid_t *ignored4,
18 
19 #endif /* FSP_DEBUG_EVENT_H */
EFI_STATUS_CODE_DATA efi_status_code_data_t
Definition: efi_datatype.h:24
UINT32 efi_uint32_t
Definition: efi_datatype.h:35
EFI_STATUS efi_return_status_t
Definition: efi_datatype.h:57
EFI_STATUS_CODE_TYPE efi_status_code_type_t
Definition: efi_datatype.h:20
EFI_STATUS_CODE_VALUE efi_status_code_value_t
Definition: efi_datatype.h:22
EFI_GUID efi_guid_t
Definition: efi_datatype.h:61
efi_return_status_t fsp_debug_event_handler(efi_status_code_type_t ignored1, efi_status_code_value_t ignored2, efi_uint32_t ignored3, efi_guid_t *ignored4, efi_status_code_data_t *data)