/seL4-l4v-master/HOL4/tools/Holmake/tests/hollogs/base/ |
H A D | baseScript.sml | 3 val _ = new_theory "base"; 5 val base = store_thm("base", ``x:'a = x``, REWRITE_TAC[]); value
|
/seL4-l4v-master/seL4/tools/hardware/ |
H A D | memory.py | 16 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 D | childScript.sml | 7 val child = save_thm("child", CONJ base (SPEC_ALL base))
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/coproduct/testdir2/ |
H A D | baseScript.sml | 3 val _ = new_theory "base";
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/depchain1/dir2/dir1/ |
H A D | baseScript.sml | 3 val _ = new_theory "base";
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/noprereqs/dir1/ |
H A D | baseScript.sml | 3 val _ = new_theory "base";
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | scanaddrs.h | 44 // 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 D | machoexport.h | 27 #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 D | pexport.h | 33 #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 D | pecoffexport.h | 25 #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 D | machine.h | 122 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 D | baseLib.sml | 8 fun basefn x = mk_comb(prim_mk_const{Thy = "base", Name = "foo"}, x)
|
/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/seL4/include/object/ |
H A D | untyped.h | 25 #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 D | ASCIInumbersLib.sig | 4 (* on base of listLib.list_compset(),
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | ptr_modifies.c | 36 int *base; member in struct:thing 44 t.base[i] = 0;
|
/seL4-l4v-master/seL4/tools/hardware/outputs/ |
H A D | yaml.py | 38 '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 D | machine.h | 248 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 D | build_docker.scala | 27 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 D | build_docker.scala | 27 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 D | memory.py | 67 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 D | util.c | 104 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 D | depcomp | 71 # 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 D | bitfield_gen.py | 45 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 D | bitfield_gen.py | 45 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...] |