Searched defs:size_bits (Results 1 – 3 of 3) sorted by relevance
/seL4-master/src/arch/x86/machine/ |
A D | hardware.c | 69 void flushCacheRange(void *vaddr, uint32_t size_bits) in flushCacheRange()
|
/seL4-master/libsel4/tools/ |
A D | syscall_stub_gen.py | 97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): argument 190 def __init__(self, name, size_bits, wordsize): argument 206 def __init__(self, name, size_bits, wordsize): argument
|
/seL4-master/src/kernel/ |
A D | boot.c | 135 BOOT_CODE static pptr_t alloc_rootserver_obj(word_t size_bits, word_t n) in alloc_rootserver_obj() 576 word_t size_bits, in provide_untyped_cap() 607 unsigned int size_bits = seL4_WordBits - 1 - clzl(reg.end - reg.start); in create_untypeds_for_region() local
|
Completed in 8 milliseconds