Use platform independent data types in order to support x64 platforms

[refind] / filesystems / fsw_efi_edk2_base.h

diff --git a/filesystems/fsw_efi_edk2_base.h b/filesystems/fsw_efi_edk2_base.h
index a144a60f684975d6d6b5c275cef466100498e5b4..27c6d58bcf02e522312b70fa0808e13223edb3a1 100644 (file)
--- a/filesystems/fsw_efi_edk2_base.h
+++ b/filesystems/fsw_efi_edk2_base.h
@@ -1,3 +1,7 @@
+/**
+ * \file fsw_efi_edk2_base.h
+ * Base definitions for the EDK EFI Toolkit environment.
+ */
 /*
  * Copyright (c) 2012 Stefan Agner
  *
@@ -88,7 +92,7 @@
 //                      );
 
 //#define CompareGuid(x, y) CompareGuidEdk1((x),(y))
-//# define FSW_DEBUG_LEVEL 3
+//#define FSW_DEBUG_LEVEL 3
 
 int fsw_streq_ISO88591_UTF16(void *s1data, void *s2data, int len);