Index: kernel/generic/include/synch/smc.h
===================================================================
--- kernel/generic/include/synch/smc.h	(revision c98e6ee244a8e271a395a052069c23bca4f8b538)
+++ kernel/generic/include/synch/smc.h	(revision 47a7174f4f58dd21b824f6c9cb7ae371022d6c01)
@@ -36,5 +36,5 @@
 #define KERN_SMC_H_
 
-extern unative_t sys_smc_coherence(uintptr_t va, size_t size);
+extern sysarg_t sys_smc_coherence(uintptr_t va, size_t size);
 
 #endif