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 b78d0bd5a1809ce74a9c6476c8045976682e0eb0)
@@ -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;