1
#ifndef _IPXE_EFI_UTILS_H
2
#define _IPXE_EFI_UTILS_H
9
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11
#include <ipxe/efi/efi.h>
12
#include <ipxe/efi/Protocol/DevicePath.h>
16
extern EFI_DEVICE_PATH_PROTOCOL *
17
efi_devpath_end ( EFI_DEVICE_PATH_PROTOCOL *path );
18
extern size_t efi_devpath_len ( EFI_DEVICE_PATH_PROTOCOL *path );
19
extern int efi_locate_device ( EFI_HANDLE device, EFI_GUID *protocol,
21
extern int efi_child_add ( EFI_HANDLE parent, EFI_HANDLE child );
22
extern void efi_child_del ( EFI_HANDLE parent, EFI_HANDLE child );
23
extern void efi_device_info ( EFI_HANDLE device, const char *prefix,
26
#endif /* _IPXE_EFI_UTILS_H */