diff --git a/arch/x86/kernel/apic.c b/arch/x86/kernel/apic.c
index 3bc34b61..b434ca7d 100644
--- a/arch/x86/kernel/apic.c
+++ b/arch/x86/kernel/apic.c
@@ -256,7 +256,7 @@ int apic_calibration(void)
 		return -ENXIO;
 
 	if (ioapic)
-		ioapic = map_region(0 /*(size_t)ioapic*/, (size_t)ioapic, 1, MAP_KERNEL_SPACE|MAP_NO_CACHE);
+		ioapic = (ioapic_t*) map_region(0 /*(size_t)ioapic*/, (size_t) ioapic, 1, MAP_KERNEL_SPACE|MAP_NO_CACHE);
 
 	old = get_clock_tick();
 
@@ -298,7 +298,7 @@ int apic_calibration(void)
 		return -ENXIO;
 
 	if (ioapic) 
-		ioapic = map_region(0 /*(size_t)ioapic*/, (size_t)ioapic, 1, MAP_KERNEL_SPACE|MAP_NO_CACHE);
+		ioapic = (ioapic_t*) map_region(0 /*(size_t)ioapic*/, (size_t)ioapic, 1, MAP_KERNEL_SPACE|MAP_NO_CACHE);
 
 	lapic_write(APIC_DCR, 0xB);		// set it to 1 clock increments
 	lapic_write(APIC_LVT_T, 0x2007B);	// connects the timer to 123 and enables it