Lines Matching defs:apic_id
88 ap_percpus[apic_idx].apic_id = apic_ids[i];
206 void x86_set_local_apic_id(uint32_t apic_id) {
209 percpu->apic_id = apic_id;
212 int x86_apic_id_to_cpu_num(uint32_t apic_id) {
213 if (bp_percpu.apic_id == apic_id) {
218 if (ap_percpus[i].apic_id == apic_id) {
327 DEBUG_ASSERT(percpu->apic_id != INVALID_APIC_ID);
330 if (percpu->apic_id != INVALID_APIC_ID) {
331 apic_send_ipi(vector, (uint8_t)percpu->apic_id, DELIVERY_MODE_FIXED);
360 uint32_t dst_apic_id = ap_percpus[i - 1].apic_id;
379 uint32_t dst_apic_id = ap_percpus[cpu_id - 1].apic_id;
405 DEBUG_ASSERT(percpu->apic_id != INVALID_APIC_ID);
406 return x86_bringup_aps(&percpu->apic_id, 1);