Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision 76fca318d723e24d0c79dc1a99d87b0b03dee0f1)
+++ kernel/genarch/src/acpi/madt.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -63,9 +63,9 @@
 struct madt_io_apic *madt_io_apic_entries = NULL;
 
-index_t madt_l_apic_entry_index = 0;
-index_t madt_io_apic_entry_index = 0;
-count_t madt_l_apic_entry_cnt = 0;
-count_t madt_io_apic_entry_cnt = 0;
-count_t cpu_count = 0;
+size_t madt_l_apic_entry_index = 0;
+size_t madt_io_apic_entry_index = 0;
+size_t madt_l_apic_entry_cnt = 0;
+size_t madt_io_apic_entry_cnt = 0;
+size_t cpu_count = 0;
 
 struct madt_apic_header * * madt_entries_index = NULL;
@@ -87,8 +87,8 @@
  * ACPI MADT Implementation of SMP configuration interface.
  */
-static count_t madt_cpu_count(void);
-static bool madt_cpu_enabled(index_t i);
-static bool madt_cpu_bootstrap(index_t i);
-static uint8_t madt_cpu_apic_id(index_t i);
+static size_t madt_cpu_count(void);
+static bool madt_cpu_enabled(size_t i);
+static bool madt_cpu_bootstrap(size_t i);
+static uint8_t madt_cpu_apic_id(size_t i);
 static int madt_irq_to_pin(unsigned int irq);
 
@@ -101,10 +101,10 @@
 };
 
-count_t madt_cpu_count(void)
+size_t madt_cpu_count(void)
 {
 	return madt_l_apic_entry_cnt;
 }
 
-bool madt_cpu_enabled(index_t i)
+bool madt_cpu_enabled(size_t i)
 {
 	ASSERT(i < madt_l_apic_entry_cnt);
@@ -113,5 +113,5 @@
 }
 
-bool madt_cpu_bootstrap(index_t i)
+bool madt_cpu_bootstrap(size_t i)
 {
 	ASSERT(i < madt_l_apic_entry_cnt);
@@ -119,5 +119,5 @@
 }
 
-uint8_t madt_cpu_apic_id(index_t i)
+uint8_t madt_cpu_apic_id(size_t i)
 {
 	ASSERT(i < madt_l_apic_entry_cnt);