Index: kernel/generic/src/synch/smc.c
===================================================================
--- kernel/generic/src/synch/smc.c	(revision c98e6ee244a8e271a395a052069c23bca4f8b538)
+++ kernel/generic/src/synch/smc.c	(revision 46c20c843b2930f93143ea308af9c4d278d6cf64)
@@ -44,5 +44,5 @@
 unative_t sys_smc_coherence(uintptr_t va, size_t size)
 {
-	if (overlaps(va, size, NULL, PAGE_SIZE))
+	if (overlaps(va, size, (uintptr_t) NULL, PAGE_SIZE))
 		return EINVAL;