Searched refs:device_handle (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/
H A Defi.h145 extern int efi_download_install ( EFI_HANDLE *device_handle );
146 extern void efi_download_uninstall ( EFI_HANDLE device_handle );
/vbox/src/VBox/Devices/PC/ipxe/src/image/
H A Defi_image.c124 EFI_HANDLE device_handle = NULL; local
152 if ( ( rc = efi_download_install ( &device_handle ) ) != 0 ) {
157 loaded.image->DeviceHandle = device_handle;
179 efi_download_uninstall ( device_handle );
/vbox/src/VBox/Devices/PC/ipxe/src/interface/efi/
H A Defi_download.c192 * @v device_handle Newly created device handle (output)
195 int efi_download_install ( EFI_HANDLE *device_handle ) {
216 *device_handle = handle;
224 * @v device_handle EFI device handle to remove from
226 void efi_download_uninstall ( EFI_HANDLE device_handle ) {
230 device_handle,

Completed in 47 milliseconds