diff --git a/configs/freedom-k64f/src/k64_sdhc.c b/configs/freedom-k64f/src/k64_sdhc.c
index 7d50118dba6..d9a25eb19b8 100644
--- a/configs/freedom-k64f/src/k64_sdhc.c
+++ b/configs/freedom-k64f/src/k64_sdhc.c
@@ -139,7 +139,7 @@ static void k64_mediachange(void)
  * Name: k64_cdinterrupt
  ****************************************************************************/
 
-static int k64_cdinterrupt(int irq, FAR void *context)
+static int k64_cdinterrupt(int irq, FAR void *context, FAR void *arg)
 {
   /* All of the work is done by k64_mediachange() */