| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | closures.c | 590 segment_holding_code (mstate m, char* addr) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | pexport.cpp | 230 void PExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
| H A D | polyffi.cpp | 608 POLYUNSIGNED PolyFFIGetError(PolyWord addr) argument
|
| H A D | savestate.cpp | 317 void *addr = p.AsAddress(); local
331 void SaveStateExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
| H A D | network.cpp | 1190 unsigned long addr = 0; local
1679 unsigned long addr = htonl(get_C_unsigned(taskData, hostAddr)); local
[all...] |
| H A D | x86_dep.cpp | 406 PolyWord addr = *regAddr; local
1037 void X86Dependent::ScanConstantsWithinCode(PolyObject *addr, PolyObject *old, POLYUNSIGNED length, ScanAddress *process) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/plat/tk1/machine/ |
| H A D | smmu.c | 95 paddr_t addr = addrFromPPtr(&do_smmu_disable); local
113 paddr_t addr = addrFromPPtr(&do_smmu_enable); local
|
| /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/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_darwin.c | 1078 flush_icache(char *addr) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 182 generic_frame_cap_set_capFMappedAddress(cap_t cap, word_t asid, word_t addr) argument
202 generic_frame_cap_ptr_set_capFMappedAddress(cap_t *cap_ptr, word_t asid, word_t addr) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | ept.c | 1003 paddr_t addr = addrFromPPtr(pptr); local
|
| H A D | vspace.c | 570 word_t addr; local
|
| /seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
| H A D | acpi.c | 181 char* addr; local
|
| H A D | intel-vtd.c | 281 vtd_map_reserved_page(vtd_cte_t *vtd_context_table, int context_index, paddr_t addr) argument
366 uint32_t addr; local
404 uint32_t data, addr; local
[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/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 153 static inline void writeTTBR0Ptr(paddr_t addr) argument
243 static inline void setCurrentPD(paddr_t addr) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 417 uint64_t addr; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_SIMPLIFIER.sml | 326 val addr = toAddress baseAddr value
339 val addr = toAddress baseAddr value
352 val addr = toAddress baseAddr value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | SIGNATURES.sml | 1140 let val addr = !address in address := addr+1; Formal addr end value
1324 val addr = ! addrCounter value
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1325 word_t addr, fault; local
1444 paddr_t addr = addrFromPPtr(pptr); local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 976 word_t addr, fault; local
1341 paddr_t addr; local
[all...] |
| /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
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Message.sml | 177 val (addr, free) = value
202 val (addr, free) = fromMLMinMax({x=0,y=0}, maxSize, maxPosition, minTrackSize, maxTrackSize) value
290 val (addr, free) = 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
|