Searched refs:size_bits (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 69 void flushCacheRange(void *vaddr, uint32_t size_bits) in flushCacheRange() argument
73 assert(size_bits < seL4_WordBits); in flushCacheRange()
74 assert(IS_ALIGNED((word_t)vaddr, size_bits)); in flushCacheRange()
79 v < (word_t)vaddr + BIT(size_bits); in flushCacheRange()
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 139 assert(allocated % BIT(size_bits) == 0); in alloc_rootserver_obj()
140 rootserver_mem.start += (n * BIT(size_bits)); in alloc_rootserver_obj()
143 memzero((void *) allocated, n * BIT(size_bits)); in alloc_rootserver_obj()
576 word_t size_bits, in provide_untyped_cap() argument
587 ut_cap = cap_untyped_cap_new(MAX_FREE_INDEX(size_bits), in provide_untyped_cap()
609 if (size_bits > seL4_MaxUntypedBits) { in create_untypeds_for_region()
610 size_bits = seL4_MaxUntypedBits; in create_untypeds_for_region()
617 if (size_bits > align_bits) { in create_untypeds_for_region()
618 size_bits = align_bits; in create_untypeds_for_region()
625 if (size_bits >= seL4_MinUntypedBits) { in create_untypeds_for_region()
[all …]
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 104 self.size_bits = size_bits
118 self.native_size_bits = size_bits
121 return self.size_bits > self.wordsize and not self.double_word
150 return "({0}) {1}".format(TYPES[self.size_bits], var_name)
152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name,
190 def __init__(self, name, size_bits, wordsize): argument
191 Type.__init__(self, name, size_bits, wordsize)
194 assert word_num < self.size_bits / self.wordsize
206 def __init__(self, name, size_bits, wordsize): argument
207 Type.__init__(self, name, size_bits, wordsize)
[all …]
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | hardware.h | 103 void flushCacheRange(void *vaddr, uint32_t size_bits);
|
Completed in 11 milliseconds