diff --git a/apps/Arm/vm_introspect/src/cross_vm_connection.c b/apps/Arm/vm_introspect/src/cross_vm_connection.c
index a14b061f..35d1ce49 100644
--- a/apps/Arm/vm_introspect/src/cross_vm_connection.c
+++ b/apps/Arm/vm_introspect/src/cross_vm_connection.c
@@ -19,7 +19,7 @@
 #endif
 
 //example going from linux to native component
-static void sys_ipa_to_pa(void *cookie)
+static void sys_ipa_to_pa(void)
 {
     printf("address from linux is %x\n", *(seL4_Word *)introspect_data);