#define __PROCESSOR_BIND_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Define the processor type so other code can make processor based choices
#define __BASE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// Include processor specific binding
#define __ACPI_GUID_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define ACPI_TABLE_GUID \
{ \
#define __FDT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define FDT_TABLE_GUID \
{ 0xb1b621d5, 0xf19c, 0x41a5, { 0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69, 0xaa, 0xe0 } }
#define __FILE_INFO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_FILE_INFO_ID \
{ \
#define __FILE_SYSTEM_INFO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_FILE_SYSTEM_INFO_ID \
{ \
#define __GLOBAL_VARIABLE_GUID_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_GLOBAL_VARIABLE \
{ \
#define __EFI_HII_FORMMAP_GUID_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_HII_STANDARD_FORM_GUID \
{ 0x3bd2f4ec, 0xe524, 0x46e4, { 0xa9, 0xd8, 0x51, 0x1, 0x17, 0x42, 0x55, 0x62 } }
#define __HII_PLATFORM_SETUP_FORMSET_GUID_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_HII_PLATFORM_SETUP_FORMSET_GUID \
{ 0x93039971, 0x8545, 0x4b04, { 0xb4, 0x5e, 0x32, 0xeb, 0x83, 0x26, 0x4, 0xe } }
#define __IMAGE_AUTHTICATION_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Guid/GlobalVariable.h>
#include <ipxe/efi/Protocol/Hash.h>
#define __MDEMODULE_HII_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define NARROW_CHAR 0xFFF0
#define WIDE_CHAR 0xFFF1
#define MICROSOFT_VENDOR_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Uefi/UefiBaseType.h>
#define __PC_ANSI_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_PC_ANSI_GUID \
{ \
#define RNG_GUID_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
typedef struct _EFI_RNG_INTERFACE EFI_RNG_INTERFACE;
#define __SMBIOS_GUID_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define SMBIOS_TABLE_GUID \
{ \
#define __TLS_AUTHENTICATION_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
// Private variable for CA Certificate configuration
//
#define __EFI_WIN_CERTIFICATE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// _WIN_CERTIFICATE.wCertificateType
#define __PROCESSOR_BIND_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Define the processor type so other code can make processor based choices.
#define _ACPI_1_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/AcpiAml.h>
#define _ACPI_2_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi10.h>
#define _ACPI_3_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi20.h>
#define _ACPI_4_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi30.h>
#define _ACPI_5_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi40.h>
#define _ACPI_5_1_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi50.h>
#define _ACPI_6_0_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Acpi51.h>
#define _ACPI_AML_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// ACPI AML definition
#define _BLUETOOTH_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#pragma pack(1)
#define _PCI22_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define PCI_MAX_BUS 255
#define PCI_MAX_DEVICE 31
#define __PE_IMAGE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// PE32+ Subsystem type for EFI images
#define _TPM12_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// The start of TPM return codes
#define _TPM20_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Tpm12.h>
#define __UEFI_TCG_PLATFORM_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Tpm12.h>
#include <ipxe/efi/IndustryStandard/Tpm20.h>
#define __USB_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// Subset of Class and Subclass definitions from USB Specs
#define __BASE_LIB__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// Definitions for architecture-specific types
#define PROCESSOR_BIND_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// Define the processor type so other code can make processor based choices
#define __PI_BOOT_MODE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// EFI boot mode
#define __PI_DEPENDENCY_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// If present, this must be the first and only opcode,
#define __PI_DXECIS_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Uefi/UefiMultiPhase.h>
#include <ipxe/efi/Pi/PiMultiPhase.h>
#define __PI_FIRMWARE_FILE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#pragma pack(1)
///
#define __PI_FIRMWAREVOLUME_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// EFI_FV_FILE_ATTRIBUTES
#define __PI_HOB_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// HobType of EFI_HOB_GENERIC_HEADER.
#define __PI_MULTIPHASE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Pi/PiFirmwareVolume.h>
#include <ipxe/efi/Pi/PiFirmwareFile.h>
#define _PI_S3_BOOT_SCRIPT_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
// *******************************************
// EFI Boot Script Opcode definitions
#define __PI_STATUS_CODE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// Required for IA32, X64, IPF, and EBC defines for CPU exception types
#define __PI_DXE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Uefi/UefiBaseType.h>
#include <ipxe/efi/Uefi/UefiSpec.h>
#define __ABSOLUTE_POINTER_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_ABSOLUTE_POINTER_PROTOCOL_GUID \
{ 0x8D59D32B, 0xC655, 0x4AE9, { 0x9B, 0x15, 0xF2, 0x59, 0x04, 0x99, 0x2A, 0x43 } }
#define __ACPI_TABLE_H___
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_ACPI_TABLE_PROTOCOL_GUID \
{ 0xffe06bdd, 0x6107, 0x46a6, { 0x7b, 0xb2, 0x5a, 0x9c, 0x7e, 0xc5, 0x27, 0x5c }}
#define __EFI_ADAPTER_INFORMATION_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_ADAPTER_INFORMATION_PROTOCOL_GUID \
{ \
#define __EFI_ARP_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_ARP_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __BLOCK_IO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_BLOCK_IO_PROTOCOL_GUID \
{ \
#define __BLOCK_IO2_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/BlockIo.h>
#define _EFI_BUS_SPECIFIC_DRIVER_OVERRIDE_PROTOCOL_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Global ID for the Bus Specific Driver Override Protocol
#define __EFI_COMPONENT_NAME_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// The global ID for the Component Name Protocol.
#define __EFI_COMPONENT_NAME2_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Global ID for the Component Name Protocol
#define __CONSOLE_CONTROL_H__
FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
#define EFI_CONSOLE_CONTROL_PROTOCOL_GUID \
{ 0xf42f7782, 0x12e, 0x4c12, {0x99, 0x56, 0x49, 0xf9, 0x43, 0x4, 0xf7, 0x21} }
#define __DEBUG_SUPPORT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/PeImage.h>
#define __EFI_DEVICE_PATH_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Guid/PcAnsi.h>
#include <ipxe/efi/IndustryStandard/Bluetooth.h>
#define __DEVICE_PATH_TO_TEXT_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Device Path To Text protocol
#define __EFI_DHCP4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_DHCP4_PROTOCOL_GUID \
{ \
#define __EFI_DHCP6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_DHCP6_PROTOCOL_GUID \
{ \
#define __DISK_IO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_DISK_IO_PROTOCOL_GUID \
{ \
#define __EFI_DNS4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_DNS4_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_DNS6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_DNS6_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_DRIVER_BINDING_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// The global ID for the ControllerHandle Driver Protocol.
#define __EFI_EAP_CONFIGURATION_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// EFI EAP Configuration protocol provides a way to set and get EAP configuration.
#define __EFI_FORM_BROWSER2_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Guid/HiiPlatformSetupFormset.h>
#define __GRAPHICS_OUTPUT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID \
{ \
#define __EFI_HASH_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_HASH_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_HII_CONFIG_ACCESS_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/FormBrowser2.h>
#define __HII_DATABASE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_HII_DATABASE_PROTOCOL_GUID \
{ 0xef9fc172, 0xa1b2, 0x4693, { 0xb3, 0x27, 0x6d, 0x32, 0xfc, 0x41, 0x60, 0x42 } }
#define __HII_FONT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/GraphicsOutput.h>
#include <ipxe/efi/Protocol/HiiImage.h>
#define __HII_IMAGE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/GraphicsOutput.h>
#define __EFI_HTTP_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_HTTP_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_IP4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/ManagedNetwork.h>
#define __EFI_IP4CONFIG_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip4.h>
#define __EFI_IP4CONFIG2_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip4.h>
#define __EFI_IP6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/ManagedNetwork.h>
#define __EFI_IP6CONFIG_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip6.h>
#define __EFI_LOAD_FILE_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_LOAD_FILE_PROTOCOL_GUID \
{ \
#define __EFI_LOAD_FILE2_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_LOAD_FILE2_PROTOCOL_GUID \
{ \
#define __LOADED_IMAGE_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_LOADED_IMAGE_PROTOCOL_GUID \
{ \
#define __EFI_MANAGED_NETWORK_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/SimpleNetwork.h>
#define _MP_SERVICE_PROTOCOL_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Global ID for the EFI_MP_SERVICES_PROTOCOL.
#define __EFI_MTFTP4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_MTFTP4_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_MTFTP6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_MTFTP6_SERVICE_BINDING_PROTOCOL_GUID \
{ \
#define __EFI_NETWORK_INTERFACE_IDENTIFER_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
//
// GUID retired from UEFI Specification 2.1b
#define __PCI_IO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Global ID for the PCI I/O Protocol
#define __PCI_ROOT_BRIDGE_IO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Library/BaseLib.h>
#define __PXE_BASE_CODE_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// PXE Base Code protocol.
#define EFI_RNG_PROTOCOL_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Guid/Rng.h>
#define __SERIAL_IO_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SERIAL_IO_PROTOCOL_GUID \
{ \
#define __EFI_SERVICE_BINDING_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Forward reference for pure ANSI compatability
#define __SIMPLE_FILE_SYSTEM_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SIMPLE_FILE_SYSTEM_PROTOCOL_GUID \
{ \
#define __SIMPLE_NETWORK_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SIMPLE_NETWORK_PROTOCOL_GUID \
{ \
#define __SIMPLE_POINTER_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SIMPLE_POINTER_PROTOCOL_GUID \
{ \
#define __SIMPLE_TEXT_IN_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SIMPLE_TEXT_INPUT_PROTOCOL_GUID \
{ \
#define __SIMPLE_TEXT_IN_EX_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/SimpleTextIn.h>
#define __SIMPLE_TEXT_OUT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL_GUID \
{ \
#define __STORAGE_SECURITY_COMMAND_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_STORAGE_SECURITY_COMMAND_PROTOCOL_GUID \
{ \
#define __EFI_SUPPLICANT_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/WiFi2.h>
#define __TCG2_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/UefiTcgPlatform.h>
#include <ipxe/efi/IndustryStandard/Tpm20.h>
#define _TCG_SERVICE_PROTOCOL_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/UefiTcgPlatform.h>
#define __EFI_TCP4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip4.h>
#define __EFI_TCP6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/ManagedNetwork.h>
#include <ipxe/efi/Protocol/Ip6.h>
#define __EFI_UDP4_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip4.h>
//
#define __EFI_UDP6_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Ip6.h>
#define __UGA_DRAW_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_UGA_DRAW_PROTOCOL_GUID \
{ \
#define __UNICODE_COLLATION_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_UNICODE_COLLATION_PROTOCOL2_GUID \
{ \
#define _USB2_HOSTCONTROLLER_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/UsbIo.h>
#define _USB_HOSTCONTROLLER_H_
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Protocol/Usb2HostController.h>
#define __USB_IO_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/IndustryStandard/Usb.h>
#define __EFI_VLANCONFIG_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_VLAN_CONFIG_PROTOCOL_GUID \
{ \
#define __EFI_WIFI2_PROTOCOL_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#define EFI_WIRELESS_MAC_CONNECTION_II_PROTOCOL_GUID \
{ \
#define PROCESSOR_BIND_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Define the processor type so other code can make processor based choices
#define __PI_UEFI_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Uefi/UefiBaseType.h>
#include <ipxe/efi/Uefi/UefiSpec.h>
#define __UEFI_BASETYPE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Base.h>
#define __UEFI_GPT_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// The primary GUID Partition Table Header must be
#define __UEFI_INTERNAL_FORMREPRESENTATION_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Guid/HiiFormMapMethodGuid.h>
#define __UEFI_MULTIPHASE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Attributes of variable.
#define __EFI_PXE_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#pragma pack(1)
#define __UEFI_SPEC_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/efi/Uefi/UefiMultiPhase.h>
#define __PROCESSOR_BIND_H__
FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
///
/// Define the processor type so other code can make processor based choices
}
# Write out line
print $outfh "$_\n";
- # Apply FILE_LICENCE() immediately after include guard
+ # Apply FILE_LICENCE()/FILE_SECBOOT() immediately after include guard
if ( defined $maybe_guard && ! defined $guard ) {
if ( /^\#define\s+${maybe_guard}$/ ) {
$guard = $maybe_guard;
- print $outfh "\nFILE_LICENCE ( $licence );\n" if $licence;
+ print $outfh "\n";
+ print $outfh "FILE_LICENCE ( $licence );\n" if $licence;
+ print $outfh "FILE_SECBOOT ( PERMITTED );\n";
}
undef $maybe_guard;
}
*/
#define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
#include <stdint.h>
#include <stddef.h>
#include <stdlib.h>
*/
#define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
#include <stdint.h>
#include <stddef.h>
#include <stdlib.h>
*/
#define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
#include <stdint.h>
#include <stddef.h>
#include <stdlib.h>