boot: Use EFI_FILE* instead of EFI_FILE_HANDLE
authorJan Janssen <medhefgo@web.de>
Thu, 13 Jan 2022 11:34:35 +0000 (12:34 +0100)
committerJan Janssen <medhefgo@web.de>
Thu, 13 Jan 2022 13:26:43 +0000 (14:26 +0100)
commit85eb489e231c9c536a05ea071bd35796f08b0ada
tree03108e0a2f7052bd552975d0dc0f241aa39d3542
parent41b74a18b2879e37b1e084f7ab6bd276ce30c6c9
boot: Use EFI_FILE* instead of EFI_FILE_HANDLE

They are both the same, but the former is shorter and also closer
to how file handles are represented in the UEFI spec.
src/boot/efi/boot.c
src/boot/efi/cpio.c
src/boot/efi/devicetree.c
src/boot/efi/devicetree.h
src/boot/efi/drivers.c
src/boot/efi/drivers.h
src/boot/efi/pe.c
src/boot/efi/random-seed.c
src/boot/efi/util.c
src/boot/efi/util.h