|
@@ -89,12 +89,11 @@ typedef u64 efi_virtual_addr_t;
|
|
|
typedef void *efi_handle_t;
|
|
|
|
|
|
#define EFI_GUID(a, b, c, d0, d1, d2, d3, d4, d5, d6, d7) \
|
|
|
- ((efi_guid_t) \
|
|
|
{{ (a) & 0xff, ((a) >> 8) & 0xff, ((a) >> 16) & 0xff, \
|
|
|
((a) >> 24) & 0xff, \
|
|
|
(b) & 0xff, ((b) >> 8) & 0xff, \
|
|
|
(c) & 0xff, ((c) >> 8) & 0xff, \
|
|
|
- (d0), (d1), (d2), (d3), (d4), (d5), (d6), (d7) } })
|
|
|
+ (d0), (d1), (d2), (d3), (d4), (d5), (d6), (d7) } }
|
|
|
|
|
|
/* Generic EFI table header */
|
|
|
struct efi_table_hdr {
|