Changes in kernel/generic/src/synch/smc.c [c98e6ee:0b4a67a] in mainline

File:

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

kernel/generic/src/synch/smc.c

@@ -44 +44 @@
 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;