BIOS-mode boot support now works when compiled with GNU-EFI

[refind] / include / tiano_includes.h

diff --git a/include/tiano_includes.h b/include/tiano_includes.h
index 86b7b6d94905371e88276f51ac3e23433689e3fd..67851382f282a01960fde99954259a7b23330e7d 100644 (file)
--- a/include/tiano_includes.h
+++ b/include/tiano_includes.h
@@ -143,10 +143,6 @@ INTN EFIAPI StriCmp (
 extern EFI_FILE_INFO * EfiLibFileInfo (IN EFI_FILE_HANDLE      FHand);
 extern EFI_FILE_SYSTEM_INFO * EfiLibFileSystemInfo (IN EFI_FILE_HANDLE   Root);
 
-extern UINTN
-EfiDevicePathInstanceCount (
-   IN EFI_DEVICE_PATH_PROTOCOL      *DevicePath
-);
 
 extern VOID *
 EfiReallocatePool (
@@ -155,12 +151,6 @@ EfiReallocatePool (
    IN UINTN                NewSize
 );
 
-extern BOOLEAN
-TimeCompare (
-   IN EFI_TIME               *FirstTime,
-   IN EFI_TIME               *SecondTime
-);
-
 #define PoolPrint(...) CatSPrint(NULL, __VA_ARGS__)
 
 #endif
\ No newline at end of file