Fix reverse gasket issue that was breaking watch dog timer.

[mirror_edk2.git] / UnixPkg / Sec / X64 / GasketEfiTemplate.c

diff --git a/UnixPkg/Sec/X64/GasketEfiTemplate.c b/UnixPkg/Sec/X64/GasketEfiTemplate.c
index f1919ae5496b4b2f8a253085e0d8abcafeaa5ad6..c9fc748f5ef6b102e81c9f5259de1190170a38c7 100644 (file)
--- a/UnixPkg/Sec/X64/GasketEfiTemplate.c
+++ b/UnixPkg/Sec/X64/GasketEfiTemplate.c
@@ -403,10 +403,8 @@ typedef void (*SET_TIMER_CALLBACK)(UINT64 delta);
 \r
 \r
 UINTN \r
-ReverseGasketUint64 (void *api, UINT64 a)\r
+ReverseGasketUint64 (SET_TIMER_CALLBACK settimer_callback, UINT64 a)\r
 {\r
-  SET_TIMER_CALLBACK settimer_callback = (SET_TIMER_CALLBACK)api;\r
-  \r
   (*settimer_callback)(a);\r
   return 0;\r
 }\r