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

Timestamp:

2009-06-03T19:34:45Z (16 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/ia32/src

Files:

• ddi/ddi.c (modified) (3 diffs)
• interrupt.c (modified) (1 diff)
• mm/frame.c (modified) (1 diff)
• mm/tlb.c (modified) (1 diff)
• smp/mps.c (modified) (4 diffs)

kernel/arch/ia32/src/ddi/ddi.c

@@ -58 +58 @@
 int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
-        count_t bits;
+        size_t bits;
 
         bits = ioaddr + size;
@@ -100 +100 @@
          * Enable the range and we are done.
          */
-        bitmap_clear_range(&task->arch.iomap, (index_t) ioaddr, (count_t) size);
+        bitmap_clear_range(&task->arch.iomap, (size_t) ioaddr, (size_t) size);
 
         /*
@@ -119 +119 @@
 void io_perm_bitmap_install(void)
 {
-        count_t bits;
+        size_t bits;
         ptr_16_32_t cpugdtr;
         descriptor_t *gdt_p;
-        count_t ver;
+        size_t ver;
 
         /* First, copy the I/O Permission Bitmap. */

kernel/arch/ia32/src/interrupt.c

@@ -102 +102 @@
 {
         if (TASK) {
-                count_t ver;
+                size_t ver;
                 
                 spinlock_lock(&TASK->lock);

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

@@ -71 +71 @@
 #endif
                 pfn_t pfn;
-                count_t count;
+                size_t count;
                 
                 if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) {

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

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

kernel/arch/ia32/src/smp/mps.c

@@ -87 +87 @@
  * Implementation of IA-32 SMP configuration interface.
  */
-static count_t get_cpu_count(void);
-static bool is_cpu_enabled(index_t i);
-static bool is_bsp(index_t i);
-static uint8_t get_cpu_apic_id(index_t i);
+static size_t get_cpu_count(void);
+static bool is_cpu_enabled(size_t i);
+static bool is_bsp(size_t i);
+static uint8_t get_cpu_apic_id(size_t i);
 static int mps_irq_to_pin(unsigned int irq);
 
@@ -101 +101 @@
 };
 
-count_t get_cpu_count(void)
+size_t get_cpu_count(void)
 {
         return processor_entry_cnt;
 }
 
-bool is_cpu_enabled(index_t i)
+bool is_cpu_enabled(size_t i)
 {
         ASSERT(i < processor_entry_cnt);
@@ -112 +112 @@
 }
 
-bool is_bsp(index_t i)
+bool is_bsp(size_t i)
 {
         ASSERT(i < processor_entry_cnt);
@@ -118 +118 @@
 }
 
-uint8_t get_cpu_apic_id(index_t i)
+uint8_t get_cpu_apic_id(size_t i)
 {
         ASSERT(i < processor_entry_cnt);