Changes in kernel/generic/src/synch/smc.c [c98e6ee:96b02eb9] in mainline

File:

• kernel/generic/src/synch/smc.c (modified) (1 diff)

kernel/generic/src/synch/smc.c

@@ -42 +42 @@
 #include <synch/smc.h>
 
-unative_t sys_smc_coherence(uintptr_t va, size_t size)
+sysarg_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;