CPUID_TO_APICID
target |= (CPUID_TO_APICID(cpuid) << IOART_HI_DEST_SHIFT) &
CPUID_TO_APICID(cpu_id) = apic_id;
lapic_mem_icr_set(CPUID_TO_APICID(cpu),
lapic_msr_icr_set(CPUID_TO_APICID(cpu),
return CPUID_TO_APICID(cpuid);
kprintf(" cpu0 (BSP): apic id: %2d\n", CPUID_TO_APICID(0));
kprintf(" cpu%d (AP): apic id: %2d\n", x, CPUID_TO_APICID(x));
x, CPUID_TO_APICID(x));
physical_cpu = CPUID_TO_APICID(gd->mi.gd_cpuid);
lapic_id = CPUID_TO_APICID(cpuid);
get_chip_ID_from_APICID(CPUID_TO_APICID(cpuid))) {