Changeset 98000fb in mainline for kernel/genarch/src/mm/asid.c

Timestamp:

2009-06-03T19:34:45Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

301ff30

Parents:

69e68e3

Message:

remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed)

File:

• kernel/genarch/src/mm/asid.c (modified) (2 diffs)

kernel/genarch/src/mm/asid.c

@@ -66 +66 @@
 #include <debug.h>
 
-static count_t asids_allocated = 0;
+static size_t asids_allocated = 0;
 
 /** Allocate free address space identifier.
@@ -121 +121 @@
                  * cache must be invalidated as well.
                  */
-                as_invalidate_translation_cache(as, 0, (count_t) -1);
+                as_invalidate_translation_cache(as, 0, (size_t) -1);
                 
                 /*