Searched refs:ENABLE_SMP_SUPPORT (Results 1 - 25 of 70) sorted by relevance

123

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/
H A Dstack.h18 #ifdef ENABLE_SMP_SUPPORT
22 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/smp/
H A Dipi.h20 #ifdef ENABLE_SMP_SUPPORT
27 #endif /* ENABLE_SMP_SUPPORT */
H A Dsmp.h20 #ifdef ENABLE_SMP_SUPPORT
43 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/smp/
H A Dipi.h18 #ifdef ENABLE_SMP_SUPPORT
29 #endif /* ENABLE_SMP_SUPPORT */
H A Dipi_inline.h19 #ifdef ENABLE_SMP_SUPPORT
46 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/smp/
H A Dipi.h21 #ifdef ENABLE_SMP_SUPPORT
28 #endif /* ENABLE_SMP_SUPPORT */
H A Dsmp.h18 #ifdef ENABLE_SMP_SUPPORT
46 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dsmp_sys.h23 #ifdef ENABLE_SMP_SUPPORT
27 #endif /* ENABLE_SMP_SUPPORT */
H A Dtlb_bitmap_defs.h18 #ifdef ENABLE_SMP_SUPPORT
35 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/smp/
H A Dipi.h18 #ifdef ENABLE_SMP_SUPPORT
33 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c60 #ifdef ENABLE_SMP_SUPPORT
70 #ifdef ENABLE_SMP_SUPPORT
82 #ifdef ENABLE_SMP_SUPPORT
101 #ifdef ENABLE_SMP_SUPPORT
111 #ifdef ENABLE_SMP_SUPPORT
123 #ifdef ENABLE_SMP_SUPPORT
171 #ifdef ENABLE_SMP_SUPPORT
177 #endif /* ENABLE_SMP_SUPPORT */
216 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW)
248 #if defined(ENABLE_SMP_SUPPORT)
[all...]
/seL4-l4v-10.1.1/seL4/include/model/
H A Dsmp.h21 #ifdef ENABLE_SMP_SUPPORT
33 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/smp/
H A Dipi.c16 #ifdef ENABLE_SMP_SUPPORT
38 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/smp/
H A Dipi.c17 #ifdef ENABLE_SMP_SUPPORT
35 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/src/model/
H A Dsmp.c17 #ifdef ENABLE_SMP_SUPPORT
31 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dregisterset.h71 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_ARCH_IA32)
89 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_ARCH_IA32)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h18 #ifdef ENABLE_SMP_SUPPORT
49 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h87 /* Alias CONFIG_MAX_NUM_NODES > 1 to ENABLE_SMP_SUPPORT */
89 #define ENABLE_SMP_SUPPORT macro
/seL4-l4v-10.1.1/seL4/src/smp/
H A Dlock.c16 #ifdef ENABLE_SMP_SUPPORT
32 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h59 #ifdef ENABLE_SMP_SUPPORT
64 #endif /* ENABLE_SMP_SUPPORT */
165 #ifdef ENABLE_SMP_SUPPORT
171 #endif /* ENABLE_SMP_SUPPORT */
189 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW)
218 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW)
228 #endif /* defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW) */
235 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW)
259 #if defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_SKIM_WINDOW)
269 #endif /* defined(ENABLE_SMP_SUPPORT)
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dsmp.h20 #ifdef ENABLE_SMP_SUPPORT
54 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/smp/
H A Dipi.h21 #ifdef ENABLE_SMP_SUPPORT
46 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h18 #ifdef ENABLE_SMP_SUPPORT
65 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/
H A Dipi.h21 #ifdef ENABLE_SMP_SUPPORT
41 #endif /* ENABLE_SMP_SUPPORT */
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dtcb.c31 #ifdef ENABLE_SMP_SUPPORT
42 #endif /* ENABLE_SMP_SUPPORT */

Completed in 64 milliseconds

123