x86_get_cpu_apic_id
uint32 x86_get_cpu_apic_id(int32 cpu);
uint32 apicid = x86_get_cpu_apic_id(cpu);
if (x86_get_cpu_apic_id(i) == info->Id) {
uint8 targetAPIC = x86_get_cpu_apic_id(0);
uint32 apic_id = x86_get_cpu_apic_id(cpu);