Index: uspace/lib/libc/arch/arm32/include/types.h
===================================================================
--- uspace/lib/libc/arch/arm32/include/types.h	(revision 67e4c3559cf91257a4592180b9adc75464aeebbe)
+++ uspace/lib/libc/arch/arm32/include/types.h	(revision b267ee6de7af507ae30fa5aec80610b61e8d5aa6)
@@ -51,6 +51,4 @@
 typedef int32_t ssize_t;
 typedef uint32_t size_t;
-typedef uint32_t count_t;
-typedef uint32_t index_t;
 
 typedef uint32_t uintptr_t;