/seL4-l4v-master/HOL4/tools/Holmake/tests/hollogs/base/ |
H A D | baseScript.sml | 5 val base = store_thm("base", ``x:'a = x``, REWRITE_TAC[]); value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | machoexport.h | 43 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | pexport.h | 49 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | pecoffexport.h | 43 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | scanaddrs.h | 90 void ScanAddressesInObject(PolyObject *base) { ScanAddressesInObject(base, base->LengthWord()); } argument [all...] |
H A D | check_objects.cpp | 93 void DoCheckObject (const PolyObject *base, POLYUNSIGNED L) argument
|
H A D | elfexport.h | 107 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | gc_check_weak_ref.cpp | 55 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | scanaddrs.cpp | 202 PolyObject *ScanAddress::GetConstantValue(byte *addressOfConstant, ScanRelocationKind code, PolyWord *base) argument 267 void ScanAddress::ScanConstant(PolyObject *base, byte *addressOfConstant, ScanRelocationKind code) argument
|
/seL4-l4v-master/seL4/include/ |
H A D | compound_types.h | 15 pde_t *base; member in struct:pde_range 21 pte_t *base; member in struct:pte_range
|
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
H A D | StringChar.sml | 43 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | ptr_modifies.c | 36 int *base; member in struct:thing
|
/seL4-l4v-master/HOL4/src/finite_maps/ |
H A D | finite_mapLib.sml | 74 val (base, kvL) = strip_fupdate t value
|
/seL4-l4v-master/HOL4/src/num/arith/src/ |
H A D | GenRelNorm.sml | 38 fun base bmap t = let function
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | ArraySliceSignature.sml | 31 val base: 'a slice -> 'a array * int * int value
|
H A D | MONO_VECTOR_SLICE.sml | 34 val base: slice -> vector * int * int value
|
H A D | VectorSliceSignature.sml | 29 val base: 'a slice -> 'a vector * int * int value
|
H A D | Array.sml | 245 fun base(Slice{array, start, length}) = (array, start, length) function
|
H A D | MONO_ARRAY_SLICE.sml | 37 val base: slice -> array * int * int value
|
H A D | VectorSliceOperations.sml | 40 val base: slice -> vector * int * int value 134 fun base(Slice{vector, start, length}) = (vector, wordAsInt start, wordAsInt length) function
|
/seL4-l4v-master/seL4/src/ |
H A D | util.c | 104 unsigned int base; local
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Parsspec.sml | 92 let val {base, ext} = OS.Path.splitBaseExt filename value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holdep.sml | 148 val {base, ext} = Path.splitBaseExt filename value
|
/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 67 uint32_t base; member in struct:acpi_rmrr_entry
|
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) argument 136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) argument 152 word_t base = 0; local 161 word_t base = 0; local 170 x86_write_gs_base_impl(word_t base) argument [all...] |