unsigned int maxcpus = NR_CPUS;
#endif
+#ifdef CONFIG_ACPI
+#define set_x86_acpiid_to_apicid(acpiid, apicid) \
+ (x86_acpiid_to_apicid[acpiid] = apicid)
+#else
+#define set_x86_acpiid_to_apicid(acpiid, apicid) ((void)0)
+#endif
+
void __init prefill_possible_map(void)
{
int i, rc;
cpu_2_logical_apicid[0] = 0;
x86_cpu_to_apicid[0] = 0;
- x86_acpiid_to_apicid[0] = 0;
+ set_x86_acpiid_to_apicid(0, 0);
current_thread_info()->cpu = 0;
cpu_2_logical_apicid[cpu] = cpu;
x86_cpu_to_apicid[cpu] = cpu;
- x86_acpiid_to_apicid[cpu] = cpu;
+ set_x86_acpiid_to_apicid(cpu, cpu);
idle = fork_idle(cpu);
if (IS_ERR(idle))