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 9db9b10d117f0270316d82b7abfc8c4114e2b00d)
@@ -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;