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

1234567891011>>

/seL4-l4v-10.1.1/HOL4/doc/hol-mode/
H A DMakefile1 all: hol-mode.ps hol-mode.pdf hol-mode.dvi
4 /bin/rm -f hol-mode.dvi hol-mode.ps hol-mode.pdf hol-mode.aux hol-mode.log
6 hol-mode.ps: hol-mode
[all...]
/seL4-l4v-10.1.1/seL4/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.h18 #include <mode/machine.h>
H A Dtimer.h18 #include <mode/machine/timer.h>
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/decompiler/
H A Darm_core_decompScript.sml12 (* mode *) word5 =>
45 (ARM_ASSERTION mode r0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r13 r14
47 arm_OK mode *
48 arm_REG (R_mode mode 0w) r0 *
49 arm_REG (R_mode mode 1w) r1 *
50 arm_REG (R_mode mode 2w) r2 *
51 arm_REG (R_mode mode 3w) r3 *
52 arm_REG (R_mode mode 4w) r4 *
53 arm_REG (R_mode mode 5w) r5 *
54 arm_REG (R_mode mode
[all...]
H A Darm_decompScript.sml6 val arm_OK_def = Define `arm_OK mode = arm_CONFIG (VFPv3, ARMv7_A, F, F, mode)`
/seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/src/arch/x86/64/smp/
H A Dipi.c14 #include <mode/smp/ipi.h>
15 #include <mode/kernel/tlb.h>
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DstraightlineScript.sml13 mode,dmem,memory,dom_stack,stack) =
15 arm_REG (R_mode mode 0w) r0 *
16 arm_REG (R_mode mode 1w) r1 *
17 arm_REG (R_mode mode 2w) r2 *
18 arm_REG (R_mode mode 3w) r3 *
19 arm_REG (R_mode mode 4w) r4 *
20 arm_REG (R_mode mode 5w) r5 *
21 arm_REG (R_mode mode 6w) r6 *
22 arm_REG (R_mode mode 7w) r7 *
23 arm_REG (R_mode mode
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h33 FileMode mode; // Reading or writing. member in class:File
40 #define DEFAULTS fd(-1), mode(READ), buf(NULL), size(-1), pos(0), own_fd(true)
43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS { argument
44 open(fd, mode, own_fd); }
46 File(cchar* name, cchar* mode) : DEFAULTS { argument
47 open(name, mode); }
54 void open(int fd, FileMode mode, bool own_fd = true);
55 void open(cchar* name, cchar* mode); // FILE* compatible interface.
63 if (mode == READ)
69 return mode; }
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dtimer.h18 #include <mode/machine.h>
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dbenchmark.h18 #include <mode/machine.h>
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dthread.h15 #include <mode/kernel/thread.h>
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dstructures.h14 #include <mode/object/structures.h>
/seL4-l4v-10.1.1/seL4/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-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/
H A Dstack.h17 #include <mode/model/smp.h>
18 #include <mode/machine.h>
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dtoken_markup.scala29 def init(mode: String): Line_Context =
30 new Line_Context(mode, Some(Scan.Finished), Line_Structure.init)
52 val mode: String,
55 extends TokenMarker.LineContext(new ParserRuleSet(mode, "MAIN"), null)
59 override def hashCode: Int = (mode, context, structure).hashCode
63 mode == other.mode && context == other.context && structure == other.structure
218 protected val mode: String,
221 override def hashCode: Int = (mode, opt_buffer).hashCode
224 case other: Marker => mode
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dtoken_markup.scala29 def init(mode: String): Line_Context =
30 new Line_Context(mode, Some(Scan.Finished), Line_Structure.init)
52 val mode: String,
55 extends TokenMarker.LineContext(new ParserRuleSet(mode, "MAIN"), null)
59 override def hashCode: Int = (mode, context, structure).hashCode
63 mode == other.mode && context == other.context && structure == other.structure
218 protected val mode: String,
221 override def hashCode: Int = (mode, opt_buffer).hashCode
224 case other: Marker => mode
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drealconv.h43 extern char *poly_dtoa(double d, int mode, int ndigits,
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dtimer.h19 #include <mode/machine.h>
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/
H A Dtypes.h15 #include <mode/api/objecttype.h>
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dstatedata.h18 #include <mode/machine/registerset.h>
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/
H A Dtypes.h22 #include <mode/api/objecttype.h>
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dtypes.h16 #include <mode/api/objecttype.h>

Completed in 133 milliseconds

1234567891011>>