Symbol: setup_secondary_APIC_clock