| /seL4-test-master/projects/util_libs/libutils/include/utils/ |
| H A D | config.h | 15 #define config_set(macro) _is_set_(macro) macro
|
| /seL4-test-master/kernel/include/arch/x86/arch/machine/ |
| H A D | fpu.h | 64 if (config_set(CONFIG_FXSAVE)) {
66 } else if (config_set(CONFIG_XSAVE_XSAVEOPT)) {
68 } else if (config_set(CONFIG_XSAVE_XSAVE)) {
70 } else if (config_set(CONFIG_XSAVE_XSAVEC)) {
72 } else if (config_set(CONFIG_XSAVE_XSAVES)) {
80 if (config_set(CONFIG_FXSAVE)) {
82 } else if (config_set(CONFIG_XSAVE)) {
83 if (config_set(CONFIG_XSAVE_XSAVES)) {
|
| /seL4-test-master/kernel/src/arch/arm/32/machine/ |
| H A D | fpu.c | 26 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
97 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
114 if (config_set(CONFIG_HAVE_FPU)) {
132 if (config_set(CONFIG_HAVE_FPU)) {
143 if (!config_set(CONFIG_HAVE_FPU)) {
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | thread.c | 17 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
33 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | thread.c | 16 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
30 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/projects/seL4_libs/libsel4test/src/ |
| H A D | testutil.c | 58 if (config_set(CONFIG_PRINT_XML)) {
76 if (config_set(CONFIG_PRINT_XML)) {
86 if (config_set(CONFIG_PRINT_XML)) {
96 if (config_set(CONFIG_PRINT_XML)) {
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/smp/ |
| H A D | smp.h | 28 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
| H A D | object.h | 34 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT) && config_set(CONFIG_ARM_PA_SIZE_BITS_40)) {
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | thread.c | 18 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
22 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
|
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | fpu.c | 19 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | fpu.c | 36 if (config_set(CONFIG_XSAVE)) {
72 if (config_set(CONFIG_XSAVE_XSAVEOPT)) {
77 } else if (config_set(CONFIG_XSAVE_XSAVEC)) {
82 } else if (config_set(CONFIG_XSAVE_XSAVES)) {
|
| H A D | hardware.c | 21 if (config_set(CONFIG_ARCH_IA32) && !config_set(CONFIG_HARDWARE_DEBUG_API)) {
146 if ((config_set(CONFIG_KERNEL_X86_IBRS_BASIC) || config_set(CONFIG_KERNEL_X86_IBRS_STIBP)) && !support_ibrs) {
155 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH) && !support_ibrs) {
168 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC) && enhanced_ibrs) {
172 if (config_set(CONFIG_KERNEL_X86_IBRS_ALL)) {
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | timer.c | 73 if (config_set(CONFIG_HAVE_TIMER)) {
86 if (config_set(CONFIG_HAVE_TIMER)) {
104 if (config_set(CONFIG_HAVE_TIMER)) {
116 if (config_set(CONFIG_HAVE_TIMER)) {
128 ZF_LOGF_IF(!config_set(CONFIG_HAVE_TIMER), "There is no timer configured for this target");
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 55 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
59 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
124 if (config_set(CONFIG_SYSENTER) && config_set(CONFIG_HARDWARE_DEBUG_API)
136 if (config_set(CONFIG_KERNEL_SKIM_WINDOW)) {
158 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
162 if (config_set(CONFIG_SYSENTER)) {
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v2.c | 77 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
100 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT) && !config_set(CONFIG_PLAT_QEMU_ARM_VIRT)) {
119 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT) && !config_set(CONFIG_PLAT_QEMU_ARM_VIRT)) {
193 if (config_set(CONFIG_PLAT_TX2)) {
|
| /seL4-test-master/kernel/src/arch/x86/64/ |
| H A D | c_traps.c | 172 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
180 (!config_set(CONFIG_SYSENTER) || !config_set(CONFIG_HARDWARE_DEBUG_API)
182 if (config_set(CONFIG_KERNEL_SKIM_WINDOW)) {
198 if (config_set(CONFIG_SYSENTER)) {
391 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
|
| /seL4-test-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 85 if (config_set(CONFIG_IRQ_PIC) && pic_is_irq_pending()) {
94 if (config_set(CONFIG_IRQ_PIC) && irq <= irq_isa_max) {
115 if (config_set(CONFIG_IRQ_PIC)) {
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_timer.c | 36 if (!config_set(CONFIG_EXPORT_PCNT_USER)) {
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | fpu.h | 111 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
140 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
181 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
221 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | stack.h | 48 if (config_set(CONFIG_HARDWARE_DEBUG_API)) {
|
| /seL4-test-master/projects/seL4_libs/libsel4vspace/src/arch/arm/ |
| H A D | mapping.c | 25 if (unlikely(obj == NULL) || !config_set(CONFIG_TK1_SMMU)) {
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | thread.c | 24 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
28 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 125 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
142 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | interrupt.c | 74 test_interrupt_notification_sc, config_set(CONFIG_HAVE_TIMER) &&config_set(CONFIG_KERNEL_MCS));
129 test_interrupt_notification_and_tcb_sc, config_set(CONFIG_HAVE_TIMER) &&config_set(CONFIG_KERNEL_MCS));
165 config_set(CONFIG_HAVE_TIMER) &&config_set(CONFIG_KERNEL_MCS));
221 test_interrupt_notification_sc_two_clients, config_set(CONFIG_HAVE_TIMER) &&config_set(CONFIG_KERNEL_MCS));
263 test_interrupt_delete_sc, config_set(CONFIG_HAVE_TIMER) &&config_set(CONFIG_KERNEL_MC
[all...] |
| H A D | schedcontext.c | 61 config_set(CONFIG_KERNEL_MCS))
104 config_set(CONFIG_KERNEL_MCS) &&config_set(CONFIG_HAVE_TIMER))
160 config_set(CONFIG_KERNEL_MCS));
199 test_delete_tcb_sched_context, config_set(CONFIG_KERNEL_MCS) &&config_set(CONFIG_HAVE_TIMER));
275 test_delete_tcb_on_notification_context, config_set(CONFIG_KERNEL_MCS));
323 test_passive_thread_start, config_set(CONFIG_KERNEL_MCS))
401 test_delete_sendwait_tcb, config_set(CONFIG_KERNEL_MCS))
466 test_sched_context_goes_to_to_caller_on_reply_cap_delete, config_set(CONFIG_KERNEL_MC
[all...] |