/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | c_traps.c | 147 word_t base = getRegister(NODE_STATE(ksCurThread), TLS_BASE); local
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | machoexport.h | 43 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 | pexport.h | 49 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
|
H A D | check_objects.cpp | 92 void DoCheckObject (const PolyObject *base, POLYUNSIGNED L) argument
|
H A D | scanaddrs.h | 85 void ScanAddressesInObject(PolyObject *base) { ScanAddressesInObject(base, base->LengthWord()); } argument 100 ScanAddressesInObject(PolyObject *base) argument [all...] |
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
|
/seL4-l4v-10.1.1/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-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | ptr_modifies.c | 40 int *base; member in struct:thing
|
/seL4-l4v-10.1.1/seL4/include/ |
H A D | compound_types.h | 20 pde_t *base; member in struct:pde_range 26 pte_t *base; member in struct:pte_range
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | c_traps.c | 183 word_t base = getRegister(cur_thread, TLS_BASE); local
|
/seL4-l4v-10.1.1/HOL4/src/finite_map/ |
H A D | finite_mapLib.sml | 73 val (base, kvL) = strip_fupdate t value
|
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
H A D | GenRelNorm.sml | 38 fun base bmap t = let function
|
/seL4-l4v-10.1.1/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-10.1.1/seL4/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 123 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) argument 130 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) argument
|
/seL4-l4v-10.1.1/seL4/src/ |
H A D | util.c | 114 unsigned int base; local
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holdep.sml | 150 val {base, ext} = Path.splitBaseExt filename value
|
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | Parsspec.sml | 92 let val {base, ext} = OS.Path.splitBaseExt filename value
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 123 word_t base = getRegister(cur_thread, TLS_BASE); local
|