iPXE
efi_cachedhcp.h
Go to the documentation of this file.
1#ifndef _IPXE_EFI_CACHEDHCP_H
2#define _IPXE_EFI_CACHEDHCP_H
3
4/** @file
5 *
6 * EFI cached DHCP packet
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11FILE_SECBOOT ( PERMITTED );
12
13#include <ipxe/efi/efi.h>
14
17
18#endif /* _IPXE_EFI_CACHEDHCP_H */
int efi_cachedhcp_record(EFI_HANDLE device, EFI_DEVICE_PATH_PROTOCOL *path)
Record cached DHCP packet.
#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
This protocol can be used on any device handle to obtain generic path/location information concerning...
Definition DevicePath.h:46
A hardware device.
Definition device.h:77