/seL4-l4v-master/HOL4/examples/lambda/basics/ |
H A D | binderLib.sml | 218 val base = case total Literal.dest_string_lit old of value
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | mungeTools.sml | 517 val base = raw_pp_theorem_as_tex overrides value
|
H A D | EmitTeX.sml | 309 let val base = "\\" ^ !texPrefix ^ ty ^ "{" ^ s1 ^ "}" value
|
/seL4-l4v-master/HOL4/src/datatype/record/ |
H A D | RecordType.sml | 100 val base = put_simpls (add_rwts existing_simpls new_simpls) tyinfo value
|
/seL4-l4v-master/seL4/include/arch/x86/arch/ |
H A D | machine.h | 249 static inline void x86_write_fs_base_impl(word_t base) argument 272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) argument 277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) argument 297 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) argument 305 x86_write_gs_base(word_t base, cpu_id_t cpu) argument [all...] |
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument 892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | winbasicio.cpp | 341 size_t WinInOutStream::readStream(TaskData *taskData, byte *base, size_t length) argument 526 size_t WinInOutStream::writeStream(TaskData *taskData, byte *base, size_t length) argument 596 byte *base = DEREFHANDLE(args)->Get(0).AsObjPtr()->AsBytePtr(); local 653 PolyWord base = DEREFWORDHANDLE(args)->Get(0); local [all...] |
H A D | basicio.cpp | 299 byte *base = DEREFHANDLE(args)->Get(0).AsObjPtr()->AsBytePtr(); local 355 PolyWord base = DEREFWORDHANDLE(args)->Get(0); local
|
H A D | savestate.cpp | 316 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument 356 ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument 851 ScanObjectAddress(PolyObject *base) argument 856 ScanAddressesInObject(PolyObject *base, POLYUNSIGNED lengthWord) argument 926 ScanObjectAddress(PolyObject *base) argument [all...] |
H A D | network.cpp | 926 char *base = (char*)pBase.AsObjPtr()->AsBytePtr(); local 967 char *base = (char*)pBase.AsObjPtr()->AsBytePtr(); local 995 char *base = (char*)DEREFHANDLE(args)->Get(1).AsObjPtr()->AsBytePtr(); local 1030 char *base = (char*)DEREFHANDLE(args)->Get(1).AsObjPtr()->AsBytePtr(); local
|
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
H A D | vspace.c | 310 word_t base = (word_t)&x64KSIRQStack[CURRENT_CPU_INDEX()][IRQ_STACK_SIZE]; local 1479 createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument [all...] |
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 1120 static exception_t updatePTE(pte_t pte, pte_t *base) argument 1127 performPageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *base) argument
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | constrFamiliesLib.sml | 348 val base = mk_eq ( value
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | theories.tex | [all...] |
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | String.sml | 1261 val base : substring -> (string * int * int) value [all...] |
H A D | OS.sml | 78 val base : string -> string value 521 fun base s = #base(splitBaseExt s) function [all...] |
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | arm_stepLib.sml | 30 val base = srw_ss value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sml | 346 val {base = s, ext} = OS.Path.splitBaseExt s0 value 570 fun split p = let val {base, ext} = OS.Path.splitBaseExt p in (base, ext) end value
|
H A D | Holmake.sml | 105 val base = read_holpathdb() value
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | Tactic.sml | 352 val base = substfn theta1 w value
|
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Base.sml | 905 val base = Cstruct (List.tabulate (n, fn _ => Cchar)) value
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument [all...] |
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1660 paddr_t base = pptr_to_paddr((void *)base_ptr); local 1662 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], base); local 2069 paddr_t base; local
|
/seL4-l4v-master/HOL4/src/simp/src/ |
H A D | simpLib.sml | 784 val base = FIRST [CONTR_TAC th, ACCEPT_TAC th, value
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | TYPEIDCODE.sml | 788 val base = codeAccess(access, baseEqLevelP1) value [all...] |