#define APIC_BASE_VADDR 0x1000
#define __APIC_BASE_PADDR 0xFEE00000
-#define IA32_APIC_BASE_MSR 0x1B
+#define IA32_MSR_APIC_BASE 0x1B
#define IA32_APIC_ENABLE 0x800
/*
#define apic_write_reg(reg, val) (*(uint32_t*)(APIC_BASE_VADDR + (reg)) = (val))
void
-init_apic();
+apic_init();
/**
* @brief Tell the APIC that the handler for current interrupt is finished.