Changeset 98000fb in mainline for kernel/arch/ia32/src/smp/mps.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/arch/ia32/src/smp/mps.c (modified) (4 diffs)

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