Index: uspace/lib/c/arch/abs32le/src/stacktrace.c
===================================================================
--- uspace/lib/c/arch/abs32le/src/stacktrace.c	(revision e80329d664f5d49f31f3da70a215121f490db79d)
+++ uspace/lib/c/arch/abs32le/src/stacktrace.c	(revision 0b4a67a31961a80515a7b28d5b2e27fbb8f7249d)
@@ -56,10 +56,10 @@
 uintptr_t stacktrace_fp_get(void)
 {
-	return NULL;
+	return (uintptr_t) NULL;
 }
 
 uintptr_t stacktrace_pc_get(void)
 {
-	return NULL;
+	return (uintptr_t) NULL;
 }
 
Index: uspace/lib/c/arch/abs32le/src/tls.c
===================================================================
--- uspace/lib/c/arch/abs32le/src/tls.c	(revision e80329d664f5d49f31f3da70a215121f490db79d)
+++ uspace/lib/c/arch/abs32le/src/tls.c	(revision 0b4a67a31961a80515a7b28d5b2e27fbb8f7249d)
@@ -46,5 +46,5 @@
 uintptr_t __aeabi_read_tp(void)
 {
-	return NULL;
+	return (uintptr_t) NULL;
 }