| /seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
| H A D | codegen_ppcLib.sml | 22 fun address (ASSIGN_ADDRESS_REG i) = "0(" ^ r i ^ ")" function
|
| H A D | codegen_armLib.sml | 17 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
|
| H A D | codegen_x64Lib.sml | 16 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
125 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
160 fun address l = s ^ (if forward then " " else " -") ^ int_to_string l function
[all...] |
| H A D | codegen_x86Lib.sml | 23 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
132 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
167 fun address l = s ^ (if forward then " " else " -") ^ int_to_string l function
[all...] |
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | kmalloc.c | 70 void free(void * address, word_t size) argument
94 void sep_free(void * address, word_t size) argument
[all...] |
| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | kmalloc.c | 70 void free(void *address, word_t size) argument
96 void sep_free(void *address, word_t size) argument
[all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | Assem.sml | 7 type address = {reg:int, offset:int, wback:bool}; type
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | Assem.sml | 7 type address = {reg:int, offset:int, wback:bool}; type
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | Assem.sml | 7 type address = {reg:int, offset:int, wback:bool}; type
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | PortableMosml.sml | 20 val address : 'a -> int = Obj.magic value
|
| /seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/ |
| H A D | x64_codegen_x64Lib.sml | 16 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
126 fun address (ASSIGN_ADDRESS_REG i) = "[" ^ r i ^ "]" function
161 fun address l = s ^ (if forward then " " else " -") ^ int_to_string l function
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | PortableMosml.sml | 20 val address : 'a -> int = Obj.magic value
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | LibrarySupport.sml | 83 type address = Bootstrap.byteArray (* This forces pointer equality. *) type
[all...] |
| H A D | LibraryIOSupport.sml | 94 type address = LibrarySupport.address type
|
| H A D | TextIO.sml | 214 type address = LibrarySupport.address type
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | quick_gc.cpp | 150 LONGLONG *address = (LONGLONG*)(pt-1); local
[all...] |
| /seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 377 word_t address = sp + (i * sizeof(word_t)); local
[all...] |
| /seL4-l4v-master/HOL4/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | 283 val address = Redblackmap.find(dict, label) value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_disassemblerLib.sml | 450 fun address f (p,u:term,w,n,t,mode:term) = function
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_evalLib.sml | 522 val address = StringCvt.padLeft #"0" 4 o Arbnum.toHexString value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/mips/prog/ |
| H A D | mips_progLib.sml | 158 val address = HolKernel.strip_binop wordsSyntax.dest_word_add o value
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86CODESIG.sml | 22 type address = Address.address type
[all...] |
| /seL4-l4v-master/seL4/src/drivers/smmu/ |
| H A D | smmuv2.c | 631 smmu_cb_read_fault_state(int cb, uint32_t *status, word_t *address) argument
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/prog/ |
| H A D | riscv_progLib.sml | 179 val address = HolKernel.strip_binop wordsSyntax.dest_word_add o value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/prog/ |
| H A D | arm8_progLib.sml | 198 val address = HolKernel.strip_binop wordsSyntax.dest_word_add o value
|