| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/ |
| H A D | computer.ml | 38 let addr = CUT16_13(FETCH13 memory_val pc_val) in var
|
| /seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/tamarack2/ |
| H A D | tamarack.ml | 256 let addr = Addr n inst in var
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_stepLib.sml | 3115 val addr = value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/ |
| H A D | mips_stepLib.sml | 430 val addr = ``sw2sw (offset:word16) + if base = 0w then 0w else ^st.gpr base`` value
|
| H A D | mips_stepScript.sml | 324 val addr = ``sw2sw (offset:word16) + if base = 0w then 0w else ^st.gpr base`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/ |
| H A D | riscv.sml | 5280 val addr = BitsN.+(PC (),BitsN.<<(BitsN.signExtend 64 imm,1)) value
5299 val addr = value
8094 val addr = value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | codegen_inputLib.sml | 101 val addr = dest_address (subst i ``a:word32``) value
145 val addr = dest_address (subst i ``a:word32``) value
151 val addr = dest_address (subst i ``a:word32``) value
157 val addr = dest_address (subst i ``a:word32``) value
162 val addr = dest_address (subst i ``a:word32``) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/arm/ |
| H A D | prog_armLib.sml | 86 val addr = (cdr o fst o process o hd) mems value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | prog_x86Lib.sml | 207 fun addr tm = (Arbnum.toInt o numSyntax.dest_numeral o cdr o cdr o cdr o car) tm function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | prog_x64Lib.sml | 415 fun addr tm = (Arbnum.toInt o numSyntax.dest_numeral o cdr o cdr o cdr o car) tm function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
| H A D | x64_codegen_inputLib.sml | 101 val addr = dest_address (subst i ``a:word64``) value
130 val addr = dest_address (subst i ``a:word64``) value
134 val addr = dest_address (subst i ``a:word64``) value
147 val addr = dest_address (subst i ``a:word64``) value
153 val addr = dest_address (subst i ``a:word64``) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_opsScript.sml | 948 val addr = "mov r2,[r7-" ^ int_to_string (192 - 8 * i) ^ "]" value
981 val addr = "mov [r7-" ^ int_to_string (192 - 8 * i) ^ "],r2" value
2420 val addr = "mov r2,[r7-" ^ int_to_string (112 - 8 * i) ^ "]" value
2745 val addr = "mov r2,[r7-" ^ int_to_string (192 - 8 * i) ^ "]" value
2778 val addr = "mov r2,[r7-" ^ int_to_string (192 - 8 * i) ^ "]" value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Foreign.sml | 2435 val addr = getAddress(v, 0w0) value
2466 val addr = getAddress(v, 0w0) value
|
| H A D | ForeignMemory.sml | 193 val addr = s -- overhead value
|
| H A D | NetHostDB.sml | 28 val addr : entry -> in_addr value
142 fun addr e = function
|
| H A D | PackRealBig.sml | 76 val addr: address = RunCall.unsafeCast r value
138 val addr: address = RunCall.unsafeCast r value
154 val addr: address = RunCall.unsafeCast r value
216 val addr: address = RunCall.unsafeCast r value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | elfexport.cpp | 310 void *addr = p.AsAddress(); local
344 void ELFExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | ffi.c | 857 void *addr = get_basic_type_addr (cif->rtype->type, local
1141 void *addr = get_basic_type_addr (cif->rtype->type, context, 0); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/avr32/ |
| H A D | ffi.c | 92 char *addr = 0; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | closures.c | 590 segment_holding_code (mstate m, char* addr) argument
|
| H A D | dlmalloc.c | 2155 static msegmentptr segment_holding(mstate m, char* addr) { argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | ffi.c | 65 endian_adjust (void *addr, size_t len) argument
111 hfa_type_load (fpreg *fpaddr, int type, void *addr) argument
133 hfa_type_store(int type, void *addr, fpreg *fpaddr) argument
496 fpreg *addr = &stack->fp_regs[fpcount++]; local
510 fpreg *addr = &stack->fp_regs[fpcount++]; local
526 fpreg *addr = &stack->fp_regs[fpcount++]; local
552 void *addr = alloca (size); local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/ |
| H A D | ffi.c | 61 char* addr = stack_args_p; local
76 char* addr = stack_args_p; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_darwin.c | 1078 flush_icache(char *addr) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | ffi.c | 100 unsigned long *addr; local
[all...] |