Searched refs:mode (Results 1 - 25 of 93) sorted by relevance

1234

/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dregisterset.h14 #include <mode/machine/registerset.h>
H A Dfpu.h16 #include <mode/machine/fpu.h>
H A Dgeneric_timer.h19 #include <mode/machine/timer.h>
20 #include <mode/machine.h>
H A Dtimer.h20 #include <mode/util.h>
35 #include <mode/machine/timer.h>
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/machine/
H A Dtimer.h18 #include <mode/util.h>
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/machine/
H A Dtimer.h18 #include <mode/util.h>
/seL4-mcs-10.1.1/include/kernel/
H A Dstack.h17 #include <mode/kernel/stack.h>
21 * address of the stack is per-arch-mode aligned. KERNEL_STACK_ALIGNMENT is
22 * defined for each arch/mode in <mode/kernel/stack.h>
/seL4-mcs-10.1.1/src/arch/x86/64/smp/
H A Dipi.c14 #include <mode/smp/ipi.h>
15 #include <mode/kernel/tlb.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/
H A Dbenchmark.h18 #include <mode/machine.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/kernel/
H A Dthread.h15 #include <mode/kernel/thread.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/object/
H A Dstructures.h14 #include <mode/object/structures.h>
/seL4-mcs-10.1.1/src/arch/arm/64/machine/
H A Dfpu.c13 #include <mode/machine.h>
15 #include <mode/model/statedata.h>
24 /* Set the FPU to lazy switch mode */
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/
H A Dstack.h17 #include <mode/model/smp.h>
18 #include <mode/machine.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/api/
H A Dtypes.h15 #include <mode/api/objecttype.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/model/
H A Dstatedata.h18 #include <mode/machine/registerset.h>
/seL4-mcs-10.1.1/include/arch/riscv/arch/api/
H A Dtypes.h22 #include <mode/api/objecttype.h>
/seL4-mcs-10.1.1/include/arch/x86/arch/api/
H A Dtypes.h16 #include <mode/api/objecttype.h>
/seL4-mcs-10.1.1/include/arch/x86/arch/fastpath/
H A Dfastpath.h14 #include <mode/fastpath/fastpath.h>
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Delf.h17 #include <mode/kernel/elf.h>
/seL4-mcs-10.1.1/include/
H A Dstdint.h14 #include <mode/stdint.h>
/seL4-mcs-10.1.1/src/arch/arm/32/
H A Didle.c12 #include <mode/machine.h>
/seL4-mcs-10.1.1/src/arch/arm/64/
H A Didle.c14 #include <mode/machine.h>
/seL4-mcs-10.1.1/src/arch/x86/32/smp/
H A Dipi.c14 #include <mode/smp/ipi.h>
/seL4-mcs-10.1.1/src/arch/x86/32/model/
H A Dstatedata.c12 #include <mode/model/statedata.h>
/seL4-mcs-10.1.1/include/arch/arm/arch/fastpath/
H A Dfastpath.h15 #include <mode/fastpath/fastpath.h>

Completed in 68 milliseconds

1234