iPXE
efi_service.h
Go to the documentation of this file.
1#ifndef _IPXE_EFI_SERVICE_H
2#define _IPXE_EFI_SERVICE_H
3
4/** @file
5 *
6 * EFI service binding
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11FILE_SECBOOT ( PERMITTED );
12
13#include <ipxe/efi/efi.h>
14
15extern int efi_service_add ( EFI_HANDLE service, EFI_GUID *binding,
17extern int efi_service_del ( EFI_HANDLE service, EFI_GUID *binding,
19
20#endif /* _IPXE_EFI_SERVICE_H */
GUID EFI_GUID
128-bit buffer containing a unique identifier value.
int efi_service_add(EFI_HANDLE service, EFI_GUID *binding, EFI_HANDLE *handle)
Add service to child handle.
Definition efi_service.c:47
int efi_service_del(EFI_HANDLE service, EFI_GUID *binding, EFI_HANDLE handle)
Remove service from child handle.
Definition efi_service.c:84
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition compiler.h:926
EFI API.
#define EFI_HANDLE
Definition efi.h:53
uint16_t handle
Handle.
Definition smbios.h:5