coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
uefi_binding.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _FSP1_1_UEFI_BINDING_H_
4 #define _FSP1_1_UEFI_BINDING_H_
5 
6 /*
7  * Intel's code does not have a handle on changing global packing state.
8  * Therefore, one needs to protect against packing policies that are set
9  * globally for a compilation unit just by including a header file.
10  */
11 #pragma pack(push)
12 
13 /*
14  * Pull in the UEFI types from 2.4. Smarter decisions can be made on what
15  * version to bind to, but for now 2.4 is standard for FSP 1.1.
16  */
17 #include <vendorcode/intel/edk2/uefi_2.4/uefi_types.h>
18 
19 /* Restore original packing policy. */
20 #pragma pack(pop)
21 
22 #endif