Go to the documentation of this file.
32 #define RESCHEDULE_IPI 63
33 #define CALL_FUNC_SINGLE_IPI 192
34 #define LOCAL_TIMER_IPI 193
35 #define FLUSH_CACHE_IPI 194
36 #define CALL_FUNCTION_NMI_IPI 195
37 #define DEBUGGER_NMI_IPI 196
39 #define SMP_BOOT_IRQ 195
41 #define RESCHEDULE_GxICR_LV GxICR_LEVEL_6
42 #define CALL_FUNCTION_GxICR_LV GxICR_LEVEL_4
43 #define LOCAL_TIMER_GxICR_LV GxICR_LEVEL_4
44 #define FLUSH_CACHE_GxICR_LV GxICR_LEVEL_0
45 #define SMP_BOOT_GxICR_LV GxICR_LEVEL_0
46 #define DEBUGGER_GxICR_LV CONFIG_DEBUGGER_IRQ_LEVEL
48 #define TIME_OUT_COUNT_BOOT_IPI 100
49 #define DELAY_TIME_BOOT_IPI 75000
65 #define arch_smp_processor_id() (CPUID)
67 #define raw_smp_processor_id() (arch_smp_processor_id())
69 #define raw_smp_processor_id() (current_thread_info()->cpu)
93 #ifdef CONFIG_HOTPLUG_CPU