Changeset 98000fb in mainline for kernel/arch/mips32/src

Timestamp:

2009-06-03T19:34:45Z (17 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)

Location:

kernel/arch/mips32/src

Files:

• mips32.c (modified) (2 diffs)
• mm/frame.c (modified) (4 diffs)
• mm/tlb.c (modified) (1 diff)

kernel/arch/mips32/src/mips32.c

@@ -77 +77 @@
 uintptr_t supervisor_sp __attribute__ ((section (".text")));
 
-count_t cpu_count = 0;
+size_t cpu_count = 0;
 
 /** Performs mips32-specific initialization before main_bsp() is called. */
@@ -85 +85 @@
         init.cnt = bootinfo->cnt;
         
-        count_t i;
+        size_t i;
         for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) {
                 init.tasks[i].addr = bootinfo->tasks[i].addr;

kernel/arch/mips32/src/mm/frame.c

@@ -63 +63 @@
 } phys_region_t;
 
-static count_t phys_regions_count = 0;
+static size_t phys_regions_count = 0;
 static phys_region_t phys_regions[MAX_REGIONS];
 
@@ -120 +120 @@
         /* Init tasks */
         bool safe = true;
-        count_t i;
+        size_t i;
         for (i = 0; i < init.cnt; i++)
                 if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
@@ -175 +175 @@
         cp0_entry_hi_write(0);
 
-        count_t i;
+        size_t i;
         for (i = 0; i < TLB_ENTRY_COUNT; i++) {
                 cp0_index_write(i);
@@ -252 +252 @@
         printf("---------- ----------\n");
         
-        count_t i;
+        size_t i;
         for (i = 0; i < phys_regions_count; i++) {
                 printf("%#010x %10u\n",

kernel/arch/mips32/src/mm/tlb.c

@@ -561 +561 @@
  * @param cnt           Number of entries to invalidate.
  */
-void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
+void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
 {
         unsigned int i;