/* Default local apic addr */
#define LAPIC_ADDR 0xFEE00000
+void mptable_init(struct mp_config_table *mc, const char *productid,
+ u32 lapic_addr);
+
void *smp_next_mpc_entry(struct mp_config_table *mc);
void *smp_next_mpe_entry(struct mp_config_table *mc);