apic_xlate_vector
return (apic_xlate_vector(newvector));
vector = apic_xlate_vector(vector + APIC_BASE_VECT) -
extern uchar_t apic_xlate_vector(uchar_t vector);
return (apic_xlate_vector(newvector));