#include <boot/tables.h>
#include <arch/ioapic.h>
#include <southbridge/via/vt8237r/vt8237r.h>
+#include <cpu/x86/lapic_def.h>
#include "chip.h"
int add_mainboard_resources(struct lb_memory *mem)
lb_add_memory_range(mem, LB_MEM_RESERVED,
IO_APIC_ADDR, 0x1000);
lb_add_memory_range(mem, LB_MEM_RESERVED,
- 0xFEE00000ULL, 0x1000);
+ LOCAL_APIC_ADDR, 0x1000);
lb_add_memory_range(mem, LB_MEM_RESERVED,
0xFFFF0000ULL, 0x10000);
#endif