Fix reverse gasket issue that was breaking watch dog timer.

[mirror_edk2.git] / UnixPkg / Sec / Gasket.h

diff --git a/UnixPkg/Sec/Gasket.h b/UnixPkg/Sec/Gasket.h
index 16862c95bd28126b2803880fc3c44556200bf115..60a6ab20786eaa563f15f6923eb9acdbc1ef18c3 100644 (file)
--- a/UnixPkg/Sec/Gasket.h
+++ b/UnixPkg/Sec/Gasket.h
@@ -99,7 +99,9 @@ UINTN GasketUint64Uintn (void *api, UINT64 a, UINTN b);
 UINT64 GasketUintnUint64Uintn (void *api, UINTN a, UINT64 b, UINTN c);\r
 UINTN GasketUintnUint16 (void *api, UINTN a, UINT16 b);\r
 \r
-UINTN ReverseGasketUint64 (void *api, UINT64 a);\r
+typedef void (*CALL_BACK) (UINT64 Delta);\r
+\r
+UINTN ReverseGasketUint64 (CALL_BACK CallBack, UINT64 a);\r
 \r
 //\r
 // Gasket functions for EFI_UNIX_UGA_IO_PROTOCOL\r