/seL4-l4v-10.1.1/HOL4/doc/hol-mode/ |
H A D | Makefile | 1 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 D | registerset.h | 14 #include <mode/machine/registerset.h>
|
H A D | fpu.h | 16 #include <mode/machine/fpu.h>
|
H A D | generic_timer.h | 18 #include <mode/machine.h>
|
H A D | timer.h | 18 #include <mode/machine/timer.h>
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/decompiler/ |
H A D | arm_core_decompScript.sml | 12 (* 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 D | arm_decompScript.sml | 6 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 D | stack.h | 17 #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 D | ipi.c | 14 #include <mode/smp/ipi.h> 15 #include <mode/kernel/tlb.h>
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | straightlineScript.sml | 13 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 D | File.h | 33 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 D | timer.h | 18 #include <mode/machine.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/ |
H A D | benchmark.h | 18 #include <mode/machine.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
H A D | thread.h | 15 #include <mode/kernel/thread.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/ |
H A D | structures.h | 14 #include <mode/object/structures.h>
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/machine/ |
H A D | fpu.c | 13 #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 D | stack.h | 17 #include <mode/model/smp.h> 18 #include <mode/machine.h>
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | token_markup.scala | 29 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 D | token_markup.scala | 29 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 D | realconv.h | 43 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 D | timer.h | 19 #include <mode/machine.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/ |
H A D | types.h | 15 #include <mode/api/objecttype.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/ |
H A D | statedata.h | 18 #include <mode/machine/registerset.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/ |
H A D | types.h | 22 #include <mode/api/objecttype.h>
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
H A D | types.h | 16 #include <mode/api/objecttype.h>
|