Searched defs:base (Results 76 - 100 of 114) sorted by relevance

12345

/seL4-l4v-master/HOL4/examples/lambda/basics/
H A DbinderLib.sml218 val base = case total Literal.dest_string_lit old of value
/seL4-l4v-master/HOL4/src/TeX/
H A DmungeTools.sml517 val base = raw_pp_theorem_as_tex overrides value
H A DEmitTeX.sml309 let val base = "\\" ^ !texPrefix ^ ty ^ "{" ^ s1 ^ "}" value
/seL4-l4v-master/HOL4/src/datatype/record/
H A DRecordType.sml100 val base = put_simpls (add_rwts existing_simpls new_simpls) tyinfo value
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dmachine.h249 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 Dvspace.c863 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 Dwinbasicio.cpp341 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 Dbasicio.cpp299 byte *base = DEREFHANDLE(args)->Get(0).AsObjPtr()->AsBytePtr(); local
355 PolyWord base = DEREFWORDHANDLE(args)->Get(0); local
H A Dsavestate.cpp316 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 Dnetwork.cpp926 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 Dvspace.c310 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 Dvspace.c1120 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 DconstrFamiliesLib.sml348 val base = mk_eq ( value
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dtheories.tex[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DString.sml1261 val base : substring -> (string * int * int) value
[all...]
H A DOS.sml78 val base : string -> string value
521 fun base s = #base(splitBaseExt s) function
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_stepLib.sml30 val base = srw_ss value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sml346 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 DHolmake.sml105 val base = read_holpathdb() value
/seL4-l4v-master/HOL4/src/1/
H A DTactic.sml352 val base = substfn theta1 w value
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml905 val base = Cstruct (List.tabulate (n, fn _ => Cchar)) value
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1611 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 Dvspace.c1660 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 DsimpLib.sml784 val base = FIRST [CONTR_TAC th, ACCEPT_TAC th, value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DTYPEIDCODE.sml788 val base = codeAccess(access, baseEqLevelP1) value
[all...]

Completed in 202 milliseconds

12345