[PATCH 04/15] efi: types: document efi_physical_addr_t being always 64-bit

[Ahmad Fatoum]

From: Ahmad Fatoum <a.fatoum at pengutronix.de>

Unlike UINTN (size_t), efi_physical_addr_t doesn't change size
depending on whether the system is 32- or 64-bit.

Add a comment to clarify this.

Signed-off-by: Ahmad Fatoum <a.fatoum at barebox.org>
---
 include/efi/types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/efi/types.h b/include/efi/types.h
index ddd8dd7bcb62..c845d08d62b6 100644
--- a/include/efi/types.h
+++ b/include/efi/types.h
@@ -8,7 +8,7 @@
 
 typedef unsigned long efi_status_t;
 typedef wchar_t efi_char16_t;		/* UNICODE character */
-typedef u64 efi_physical_addr_t;
+typedef u64 efi_physical_addr_t;	/* always, even on 32-bit systems */
 
 struct efi_object;
 typedef struct efi_object *efi_handle_t;
-- 
2.39.5