apic_get_ioapicid
psm_get_ioapicid = apic_get_ioapicid;
extern uchar_t apic_get_ioapicid(uchar_t ioapicindex);