| /seL4-l4v-master/HOL4/examples/hardware/hol88/computer/ |
| H A D | computer.ml | 38 let addr = CUT16_13(FETCH13 memory_val pc_val) in var
|
| /seL4-l4v-master/HOL4/examples/hardware/hol88/tamarack2/ |
| H A D | tamarack.ml | 256 let addr = Addr n inst in var
[all...] |
| /seL4-l4v-master/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-master/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 | INet6Sock.sml | 113 fun addr e = function
|
| H A D | INetSock.sml | 28 val addr : entry -> in_addr value
197 fun addr e = function
|
| H A D | ForeignMemory.sml | 197 val addr = s -- overhead value
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | machine_dep.h | 53 virtual void ScanConstantsWithinCode(PolyObject *addr, PolyObject *oldAddr, POLYUNSIGNED length, ScanAddress *process) {} argument
54 void ScanConstantsWithinCode(PolyObject *addr, ScanAddress *process) argument
|
| H A D | osmemwin.cpp | 113 char* addr = (char*)p; local
155 char* addr = (char*)codeAddr; local
|
| H A D | polyffi.cpp | 313 POLYUNSIGNED PolyFFIGetError(PolyWord addr) argument
|
| H A D | machoexport.cpp | 112 void *addr = p.AsAddress(); local
144 void MachoExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
[all...] |
| H A D | pecoffexport.cpp | 112 void *addr = p.AsAddress(); local
154 void PECOFFExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
| H A D | osmemunix.cpp | 257 char* addr = (char*)p; local
|
| /seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
| H A D | codegen_inputLib.sml | 105 val addr = dest_address (subst i ``a:word32``) value
149 val addr = dest_address (subst i ``a:word32``) value
155 val addr = dest_address (subst i ``a:word32``) value
161 val addr = dest_address (subst i ``a:word32``) value
166 val addr = dest_address (subst i ``a:word32``) value
[all...] |
| /seL4-l4v-master/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-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot2.h | 24 uint64_t addr; member in struct:multiboot2_memory
37 uint64_t addr; member in struct:multiboot2_fb
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 20 static inline void setCurrentPD(paddr_t addr) argument
26 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 205 static inline void setVtable(pptr_t addr) argument
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 47 static inline void setCurrentPDPL2(paddr_t addr) argument
56 static inline void setCurrentHypPD(paddr_t addr) argument
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 16 static inline cr3_t makeCR3(paddr_t addr, word_t pcid) argument
95 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument
100 static inline void setCurrentUserVSpaceRoot(paddr_t addr, word_t pcid) argument
136 uint64_t addr; member in struct:invpcid_desc
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/ |
| H A D | machine.h | 200 static inline void setVSpaceRoot(paddr_t addr, asid_t asid) argument
|
| /seL4-l4v-master/seL4/include/drivers/irq/ |
| H A D | riscv_plic0.h | 69 static inline uint32_t readl(uint64_t addr) argument
74 static inline void writel(uint32_t val, uint64_t addr) argument
81 word_t addr = PLAT_PLIC_EN_ADJUST(PLIC_EN + hart_id * PLIC_EN_PER_HART + context_id * PLIC_EN_PER_CONTEXT); local
88 word_t addr = PLAT_PLIC_THRES_ADJUST(PLIC_THRES + hart_id * PLIC_THRES_PER_HART + context_id * PLIC_THRES_PER_CONTEXT); local
94 word_t addr = plic_thres_offset(hart_id, context_id) + PLIC_THRES_CLAIM; local
100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4; local
134 uint64_t addr = 0; local
[all...] |
| /seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/ |
| H A D | mips_stepScript.sml | 325 val addr = ``sw2sw (offset:word16) + if base = 0w then 0w else ^st.gpr base`` value
|
| /seL4-l4v-master/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-master/seL4/src/plat/tk1/machine/ |
| H A D | smmu.c | 88 paddr_t addr = addrFromPPtr(&do_smmu_disable); local
105 paddr_t addr = addrFromPPtr(&do_smmu_enable); local
|