Fix reverse gasket issue that was breaking watch dog timer.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@10779 6f19259b-4bc3-4df7-8a09-765794883524
2010-08-08 19:07:14 +00:00
parent d0d41b52e0
commit 2ec364f9bf
7 changed files with 25 additions and 14 deletions
--- a/UnixPkg/Sec/X64/GasketEfiTemplate.c
+++ b/UnixPkg/Sec/X64/GasketEfiTemplate.c
@@ -403,10 +403,8 @@ typedef void (*SET_TIMER_CALLBACK)(UINT64 delta);


 UINTN 
-ReverseGasketUint64 (void *api, UINT64 a)
+ReverseGasketUint64 (SET_TIMER_CALLBACK settimer_callback, UINT64 a)
 {
-  SET_TIMER_CALLBACK settimer_callback = (SET_TIMER_CALLBACK)api;
-  
  (*settimer_callback)(a);
  return 0;
 }