iPXE
efi_utils.h
Go to the documentation of this file.
1 #ifndef _IPXE_EFI_UTILS_H
2 #define _IPXE_EFI_UTILS_H
3 
4 /** @file
5  *
6  * EFI utilities
7  */
8 
9 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
10 
11 #include <ipxe/efi/efi.h>
12 
13 struct device;
14 
16  EFI_HANDLE *parent, unsigned int skip );
17 extern int efi_child_add ( EFI_HANDLE parent, EFI_HANDLE child );
18 extern void efi_child_del ( EFI_HANDLE parent, EFI_HANDLE child );
19 extern void efi_device_info ( EFI_HANDLE device, const char *prefix,
20  struct device *dev );
21 
22 #endif /* _IPXE_EFI_UTILS_H */
void efi_device_info(EFI_HANDLE device, const char *prefix, struct device *dev)
Get underlying device information.
Definition: efi_utils.c:209
128 bit buffer containing a unique identifier value.
Definition: Base.h:215
int efi_child_add(EFI_HANDLE parent, EFI_HANDLE child)
Add EFI device as child of another EFI device.
Definition: efi_utils.c:122
char prefix[4]
Definition: vmconsole.c:53
struct device * parent
Bus device.
Definition: device.h:85
void efi_child_del(EFI_HANDLE parent, EFI_HANDLE child)
Remove EFI device as child of another EFI device.
Definition: efi_utils.c:156
A hardware device.
Definition: device.h:73
EFI API.
int efi_locate_device(EFI_HANDLE device, EFI_GUID *protocol, EFI_HANDLE *parent, unsigned int skip)
Locate parent device supporting a given protocol.
Definition: efi_utils.c:45
uint16_t protocol
Protocol ID.
Definition: stp.h:18
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
Definition: efi.h:59