Searched refs:config_set (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dfpu.h69 if (config_set(CONFIG_FXSAVE)) {
71 } else if (config_set(CONFIG_XSAVE_XSAVEOPT)) {
73 } else if (config_set(CONFIG_XSAVE_XSAVE)) {
75 } else if (config_set(CONFIG_XSAVE_XSAVEC)) {
77 } else if (config_set(CONFIG_XSAVE_XSAVES)) {
85 if (config_set(CONFIG_FXSAVE)) {
87 } else if (config_set(CONFIG_XSAVE)) {
88 if (config_set(CONFIG_XSAVE_XSAVES)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dfpu.c32 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
105 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
122 if (config_set(CONFIG_HAVE_FPU)) {
140 if (config_set(CONFIG_HAVE_FPU)) {
151 if (!config_set(CONFIG_HAVE_FPU)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Dgeneric_timer.c18 if (config_set(CONFIG_DEBUG_BUILD)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dtraps.h24 if (!config_set(CONFIG_IPC_BUF_TPIDRURW)) {
39 if (config_set(CONFIG_IPC_BUF_TPIDRURW)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dthread.c23 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
27 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/smp/
H A Dsmp.h35 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/
H A Dfpu.c26 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dfpu.c42 if (config_set(CONFIG_XSAVE)) {
78 if (config_set(CONFIG_XSAVE_XSAVEOPT)) {
83 } else if (config_set(CONFIG_XSAVE_XSAVEC)) {
88 } else if (config_set(CONFIG_XSAVE_XSAVES)) {
H A Dhardware.c26 if (config_set(CONFIG_ARCH_IA32) && !config_set(CONFIG_HARDWARE_DEBUG_API)) {
154 if ((config_set(CONFIG_KERNEL_X86_IBRS_BASIC) || config_set(CONFIG_KERNEL_X86_IBRS_STIBP)) && !support_ibrs) {
163 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH) && !support_ibrs) {
176 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC) && enhanced_ibrs) {
180 if (config_set(CONFIG_KERNEL_X86_IBRS_ALL)) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h66 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
70 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
139 if (config_set(CONFIG_SYSENTER) && config_set(CONFIG_HARDWARE_DEBUG_API) && ((getRegister(NODE_STATE(ksCurThread), FLAGS) & FLAGS_TF) != 0)) {
150 if (config_set(CONFIG_KERNEL_SKIM_WINDOW)) {
182 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
186 if (config_set(CONFIG_SYSENTER)) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/
H A Dmachine.h24 return cr3_new(addr, config_set(CONFIG_SUPPORT_PCID) ? pcid : 0);
46 if (config_set(CONFIG_SUPPORT_PCID)) {
72 if (config_set(CONFIG_SUPPORT_PCID)) {
92 if (config_set(CONFIG_SUPPORT_PCID)) {
152 if (config_set(CONFIG_SUPPORT_PCID)) {
198 if (config_set(CONFIG_SUPPORT_PCID)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c189 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
197 (!config_set(CONFIG_SYSENTER) || !config_set(CONFIG_HARDWARE_DEBUG_API) || ((cur_thread->tcbArch.tcbContext.registers[FLAGS] & FLAGS_TF) == 0))) {
198 if (config_set(CONFIG_KERNEL_SKIM_WINDOW)) {
214 if (config_set(CONFIG_SYSENTER)) {
406 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dinterrupt.h91 if (config_set(CONFIG_IRQ_PIC) && pic_is_irq_pending()) {
101 if (config_set(CONFIG_IRQ_PIC) && irq <= irq_isa_max) {
125 if (config_set(CONFIG_IRQ_PIC)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h120 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
150 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
190 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
230 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/
H A Dstack.h49 if (config_set(CONFIG_HARDWARE_DEBUG_API)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dfpu.h132 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
149 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dthread.c31 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
35 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/
H A Dmachine.h86 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
135 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
150 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
173 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
194 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
290 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
301 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c225 if (!init_cpu(config_set(CONFIG_IRQ_IOAPIC) ? 1 : 0)) {
311 if (config_set(CONFIG_ARCH_X86_SKYLAKE) ) {
313 } else if (config_set(CONFIG_ARCH_X86_BROADWELL) ) {
315 } else if (config_set(CONFIG_ARCH_X86_HASWELL) ) {
317 } else if (config_set(CONFIG_ARCH_X86_IVY) ) {
319 } else if (config_set(CONFIG_ARCH_X86_SANDY) ) {
321 } else if (config_set(CONFIG_ARCH_X86_WESTMERE) ) {
323 } else if (config_set(CONFIG_ARCH_X86_NEHALEM) ) {
386 if (!config_set(CONFIG_ARCH_X86_GENERIC)) {
423 if (ia32_arch_capabilities_msr_get_rdcl_no(cap_msr) && config_set(CONFIG_KERNEL_SKIM_WINDO
[all...]
H A Dboot.c48 } else if (i == 2 && config_set(CONFIG_IRQ_PIC)) {
52 if (config_set(CONFIG_IRQ_PIC)) {
58 if (config_set(CONFIG_IRQ_IOAPIC)) {
512 if (config_set(CONFIG_SYSENTER)) {
515 } else if (config_set(CONFIG_SYSCALL)) {
536 if (!config_set(CONFIG_PRINTING) && !config_set(CONFIG_DANGEROUS_CODE_INJECTION)) {
543 if (!config_set(CONFIG_DANGEROUS_CODE_INJECTION)) {
573 if (config_set(CONFIG_EXPORT_PMC_USER)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Dc_traps.c46 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dthread.c40 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Dc_traps.c40 if (config_set(CONFIG_ARCH_IA32) && config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
152 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {
165 if (config_set(CONFIG_SYSENTER)) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/
H A Dmachine.h131 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
246 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
262 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
273 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
305 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
317 if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h46 if (config_set(CONFIG_KERNEL_X86_IBPB_ON_CONTEXT_SWITCH)) {
49 if (config_set(CONFIG_KERNEL_X86_RSB_ON_CONTEXT_SWITCH)) {
129 if (config_set(CONFIG_KERNEL_X86_IBRS_BASIC)) {

Completed in 81 milliseconds

12