Index: kernel/generic/src/synch/smc.c
===================================================================
--- kernel/generic/src/synch/smc.c	(revision a49a1a14068749b3ad852ac61bc415599e0339cb)
+++ kernel/generic/src/synch/smc.c	(revision 96b89acbc219cb8e0be1fe55c5d2b9e4a2ec9762)
@@ -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;