apic_get_localapicid
psm_get_localapicid = apic_get_localapicid;
extern uint32_t apic_get_localapicid(uint32_t cpuid);