Lines Matching refs:cpu_num
32 x86_percpu_t *x86_get_percpu_for_cpu(uint cpu_num) { in x86_get_percpu_for_cpu() argument
33 DEBUG_ASSERT(cpu_num < SMP_MAX_CPUS); in x86_get_percpu_for_cpu()
34 if (cpu_num == 0) { in x86_get_percpu_for_cpu()
38 return &x86_ap_percpus[cpu_num - 1]; in x86_get_percpu_for_cpu()
41 void x86_configure_percpu_early(uint cpu_num, uint apic_id) { in x86_configure_percpu_early() argument
42 x86_percpu_t *percpu = x86_get_percpu_for_cpu(cpu_num); in x86_configure_percpu_early()
46 percpu->cpu_num = cpu_num; in x86_configure_percpu_early()
55 uint16_t selector = PERCPU_SELECTOR_BASE + cpu_num * 8; in x86_configure_percpu_early()
69 uint cpu_num = __builtin_ctz(target); in arch_mp_send_ipi() local
70 target &= ~(1u << cpu_num); in arch_mp_send_ipi()
73 if (cpu_num == curr_cpu_num) { in arch_mp_send_ipi()
77 x86_percpu_t *percpu = x86_get_percpu_for_cpu(cpu_num); in arch_mp_send_ipi()
101 void x86_secondary_entry(uint cpu_num) { in x86_secondary_entry() argument
103 x86_configure_percpu_early(cpu_num, apic_id); in x86_secondary_entry()
130 void x86_configure_percpu_early(uint cpu_num, uint apic_id) {} in x86_configure_percpu_early() argument