default_cpu_present_to_apicid
extern u32 default_cpu_present_to_apicid(int mps_cpu);
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,
.cpu_present_to_apicid = default_cpu_present_to_apicid,