Searched refs:base (Results 1 - 25 of 420) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/tools/Holmake/tests/hollogs/base/
H A DbaseScript.sml3 val _ = new_theory "base";
5 val base = store_thm("base", ``x:'a = x``, REWRITE_TAC[]); value
/seL4-l4v-master/seL4/tools/hardware/
H A Dmemory.py16 def __init__(self, base: int, size: int, owner: 'WrappedNode'):
17 self.base = base
23 ret = Region(other.base, other.size)
27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size)
30 return self.base == other.base and self.size == other.size
37 return self.base > other.base
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/tests/hollogs/
H A DchildScript.sml7 val child = save_thm("child", CONJ base (SPEC_ALL base))
/seL4-l4v-master/HOL4/tools/Holmake/tests/coproduct/testdir2/
H A DbaseScript.sml3 val _ = new_theory "base";
/seL4-l4v-master/HOL4/tools/Holmake/tests/depchain1/dir2/dir1/
H A DbaseScript.sml3 val _ = new_theory "base";
/seL4-l4v-master/HOL4/tools/Holmake/tests/noprereqs/dir1/
H A DbaseScript.sml3 val _ = new_theory "base";
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dscanaddrs.h44 // Default action - call ScanObjectAddress for the base object address of
56 virtual PolyObject *ScanObjectAddress(PolyObject *base) = 0;// { return base; }
71 // ScanObjectAddress for the base address of the object referred to.
72 virtual void ScanConstant(PolyObject *base, byte *addressOfConstant, ScanRelocationKind code);
88 virtual void ScanAddressesInObject(PolyObject *base, POLYUNSIGNED lengthWord);
90 void ScanAddressesInObject(PolyObject *base) { ScanAddressesInObject(base, base->LengthWord()); } argument
94 static PolyObject *GetConstantValue(byte *addressOfConstant, ScanRelocationKind code, PolyWord *base
[all...]
H A Dmachoexport.h27 #include "scanaddrs.h" // For base class
41 virtual void ScanConstant(PolyObject *base, byte *addrOfConst, ScanRelocationKind code);
43 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
H A Dpexport.h33 #include "scanaddrs.h" // For base class
47 virtual void ScanConstant(PolyObject *base, byte *addrOfConst, ScanRelocationKind code);
49 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
H A Dpecoffexport.h25 #include "scanaddrs.h" // For base class
40 virtual void ScanConstant(PolyObject *base, byte *addrOfConst, ScanRelocationKind code);
43 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/
H A Dmachine.h122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) argument
124 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], base & 0xFFFF);
125 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 16) & 0xFF);
126 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 24) & 0xFF);
136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) argument
138 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], base & 0xFFFF);
139 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 16) & 0xFF);
140 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 24) & 0xFF);
152 word_t base = 0; local
153 base
161 word_t base = 0; local
170 x86_write_gs_base_impl(word_t base) argument
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/tests/noprereqs/dir2/
H A DbaseLib.sml8 fun basefn x = mk_comb(prim_mk_const{Thy = "base", Name = "foo"}, x)
/seL4-l4v-master/seL4/include/
H A Dcompound_types.h15 pde_t *base; member in struct:pde_range
21 pte_t *base; member in struct:pte_range
/seL4-l4v-master/seL4/include/object/
H A Duntyped.h25 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex)))
26 #define GET_FREE_INDEX(base,free) (((word_t)(free) - (word_t)(base))>>seL4_MinUntypedBits)
27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset)))
/seL4-l4v-master/HOL4/src/string/
H A DASCIInumbersLib.sig4 (* on base of listLib.list_compset(),
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dptr_modifies.c36 int *base; member in struct:thing
44 t.base[i] = 0;
/seL4-l4v-master/seL4/tools/hardware/outputs/
H A Dyaml.py38 'devices': [{'start': r.base, 'end': r.base + r.size} for r in dev_mem if r.size > 0],
39 'memory': [{'start': r.base, 'end': r.base + r.size} for r in phys_mem if r.size > 0]
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/
H A Dmachine.h248 static inline void x86_write_fs_base_impl(word_t base) argument
250 asm volatile("wrfsbase %0"::"r"(base));
255 word_t base = 0; local
256 asm volatile("rdfsbase %0":"=r"(base));
257 return base;
263 * Store the FS and GS base registers.
294 static inline void x86_write_gs_base_impl(word_t base) argument
296 x86_wrmsr(IA32_KERNEL_GS_BASE_MSR, base);
306 static inline void x86_write_gs_base_impl(word_t base) argument
308 asm volatile("wrgsbase %0"::"r"(base));
313 word_t base = 0; local
320 x86_write_gs_base_impl(word_t base) argument
[all...]
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala27 base: String = default_base,
46 FROM """ + base + """
105 var base = default_base
119 -B NAME base image (default """ + quote(default_base) + """)
133 "B:" -> (arg => base = arg),
154 build_docker(new Console_Progress(), app_archive, base = base, logic = logic,
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala27 base: String = default_base,
46 FROM """ + base + """
105 var base = default_base
119 -B NAME base image (default """ + quote(default_base) + """)
133 "B:" -> (arg => base = arg),
154 build_docker(new Console_Progress(), app_archive, base = base, logic = logic,
/seL4-l4v-master/seL4/tools/hardware/utils/
H A Dmemory.py67 physBase = ret[0].base
70 resv = Region(ret[0].base, config.get_bootloader_reserve(), None)
72 ret[0].base += config.get_bootloader_reserve()
77 resv = Region(ret[0].base, new.base - ret[0].base, None)
84 physBase = ret[0].base
113 return sorted(ret, key=lambda a: a.base)
/seL4-l4v-master/seL4/src/
H A Dutil.c104 unsigned int base; local
111 base = 16;
114 base = 10;
124 if (res == -1 || res >= base) {
127 val = val * base + res;
/seL4-l4v-master/HOL4/polyml/
H A Ddepcomp71 # global variable '$base'.
74 base=`echo "$1" | sed -e 's|^.*/||' -e 's/\.[^.]*$//'`
305 tmpdepfile1=$dir$base.u
306 tmpdepfile2=$base.u
307 tmpdepfile3=$dir.libs/$base.u
310 tmpdepfile1=$dir$base.u
311 tmpdepfile2=$dir$base.u
312 tmpdepfile3=$dir$base.u
375 # Use the source, not the object, to determine the base name, since
378 tmpdepfile=$base
[all...]
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dbitfield_gen.py45 def return_name(base):
47 return 'ret__' + var_size_suffix_map[base]
50 def var_name(name, base):
52 return name + '___' + var_size_suffix_map[base]
147 """entity_list : entity_list base"""
169 """base : BASE INTLIT"""
174 """base : BASE INTLIT LPAREN INTLIT COMMA INTLIT RPAREN"""
317 %(block)s_set_%(field)s(%(block)s_t %(block)s, %(type)s v%(base)d) {
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)
[all...]
/seL4-l4v-master/seL4/libsel4/tools/
H A Dbitfield_gen.py45 def return_name(base):
47 return 'ret__' + var_size_suffix_map[base]
50 def var_name(name, base):
52 return name + '___' + var_size_suffix_map[base]
147 """entity_list : entity_list base"""
169 """base : BASE INTLIT"""
174 """base : BASE INTLIT LPAREN INTLIT COMMA INTLIT RPAREN"""
317 %(block)s_set_%(field)s(%(block)s_t %(block)s, %(type)s v%(base)d) {
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)
[all...]

Completed in 119 milliseconds

1234567891011>>