1 #ifndef _IPXE_EFI_UTILS_H
2 #define _IPXE_EFI_UTILS_H
9 FILE_LICENCE ( GPL2_OR_LATER );
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 int efi_locate_device ( EFI_HANDLE device, EFI_GUID *protocol,
20 extern int efi_child_add ( EFI_HANDLE parent, EFI_HANDLE child );
21 extern void efi_child_del ( EFI_HANDLE parent, EFI_HANDLE child );
22 extern void efi_device_info ( EFI_HANDLE device, const char *prefix,
25 #endif /* _IPXE_EFI_UTILS_H */