/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/polyml/libpolyml/ |
H A D | machine_dep.h | 51 virtual void ScanConstantsWithinCode(PolyObject *addr, PolyObject *oldAddr, POLYUNSIGNED length, ScanAddress *process) {} argument 52 void ScanConstantsWithinCode(PolyObject *addr, ScanAddress *process) argument
|
H A D | machoexport.cpp | 113 void *addr = p.AsAddress(); local 145 void MachoExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument [all...] |
H A D | pecoffexport.cpp | 105 void *addr = p.AsAddress(); local 148 void PECOFFExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
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/examples/hardware/hol88/tamarack2/ |
H A D | tamarack.ml | 256 let addr = Addr n inst in var [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | StronglyConnected.sml | 35 List.foldl (fn(item, (mn, mx)) => let val addr = nodeAddress item in (Int.min(addr, mn), Int.max(addr+1, mx)) end) (anAddr, anAddr) rlist value 52 val addr = nodeAddress item value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
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
|
H A D | NetHostDB.sml | 28 val addr : entry -> in_addr value 142 fun addr e = function
|
H A D | ForeignMemory.sml | 193 val addr = s -- overhead value
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
H A D | machine.h | 114 static inline void setVSpaceRoot(paddr_t addr, asid_t asid) argument
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 24 static inline void setCurrentPD(paddr_t addr) argument 30 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument
|
/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/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/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/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/xtensa/ |
H A D | ffi.c | 100 unsigned long *addr; local [all...] |
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 29 uint64_t addr; member in struct:multiboot2_memory 42 uint64_t addr; member in struct:multiboot2_fb
|
/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/seL4/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 52 static inline void setCurrentPDPL2(paddr_t addr) argument 61 static inline void setCurrentHypPD(paddr_t addr) argument
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/ |
H A D | machine.h | 170 static inline void setVtable(pptr_t addr) argument
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 22 static inline cr3_t makeCR3(paddr_t addr, word_t pcid) argument 101 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument 106 static inline void setCurrentUserVSpaceRoot(paddr_t addr, word_t pcid) argument 142 uint64_t addr; member in struct:invpcid_desc
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/ |
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/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/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
|