9e12630d75
- apic_send_ipi() to send inter-processor interrupts (IPIs) - APIC IPI schedule and halt handlers to signal x-cpu that a cpu shold reschedule or halt - various little changes to let APs run - no processes are scheduled at the APs and therefore they are idle except being interrupted by a timer time to time
29 lines
663 B
C
29 lines
663 B
C
#ifndef __SMP_X86_H__
|
|
#define __SMP_X86_H__
|
|
|
|
#include "arch_proto.h" /* K_STACK_SIZE */
|
|
|
|
#define MAX_NR_INTERRUPT_ENTRIES 128
|
|
|
|
#ifndef __ASSEMBLY__
|
|
|
|
/* returns the current cpu id */
|
|
#define cpuid (((u32_t *)(((u32_t)get_stack_frame() + (K_STACK_SIZE - 1)) \
|
|
& ~(K_STACK_SIZE - 1)))[-1])
|
|
/*
|
|
* in case apic or smp is disabled in boot monitor, we need to finish single cpu
|
|
* boot using the legacy PIC
|
|
*/
|
|
#define smp_single_cpu_fallback() do { \
|
|
tss_init(0, get_k_stack_top(0)); \
|
|
bsp_cpu_id = 0; \
|
|
ncpus = 1; \
|
|
bsp_finish_booting(); \
|
|
} while(0)
|
|
|
|
extern unsigned char cpuid2apicid[CONFIG_MAX_CPUS];
|
|
|
|
#endif
|
|
|
|
#endif /* __SMP_X86_H__ */
|
|
|