ArmPkg/GenericWatchdogDxe: add missing VOID* cast

[mirror_edk2.git] / ArmPkg / Drivers / GenericWatchdogDxe / GenericWatchdogDxe.c

diff --git a/ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.c b/ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.c
index b1d9c027d80ec01b89537a07bf9fe0244dd8b21c..54a1625a32137556b58fa93ddf7fbe4d0f22c786 100644 (file)
--- a/ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.c
+++ b/ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.c
@@ -111,7 +111,7 @@ WatchdogInterruptHandler (
          EfiResetCold,\r
          EFI_TIMEOUT,\r
          StrSize (ResetString),\r
-         &ResetString\r
+         (VOID *) &ResetString\r
          );\r
 \r
   // If we got here then the reset didn't work\r