Symbol: apic_cpus_info_t