| /seL4-master/include/ |
| A D | assert.h | 46 #define compile_assert(name, expr) \ argument
52 #define unverified_compile_assert(name, expr) argument
|
| /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
123 def render_parameter_name(self, name): argument
165 def render_parameter_name(self, name): argument
181 def __init__(self, name, wordsize): argument
190 def __init__(self, name, size_bits, wordsize): argument
206 def __init__(self, name, size_bits, wordsize): argument
215 def __init__(self, name, type): argument
|
| A D | bitfield_gen.py | 50 def var_name(name, base): argument
612 def ptr_basic_template(name, ptrname, retval, args, post): argument
620 def ptr_union_basic_template(name, ptrname, retval, args, pre, post): argument
639 def ptr_set_template(name, ptrname): argument
1182 def make_proof(name, substs, sorry=False): argument
1198 def emit_named(name, params, string): argument
1209 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs): argument
1260 def __init__(self, name, tagname, classes, tags): argument
2010 def assert_value_in_class(self, name, value, width): argument
2173 def __init__(self, name, fields, visible_order): argument
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 49 #define SEL4_COMPILE_ASSERT(name, expr) _Static_assert(expr, #name); argument
51 #define SEL4_COMPILE_ASSERT(name, expr) \ argument
|
| /seL4-master/tools/ |
| A D | bitfield_gen.py | 50 def var_name(name, base): argument
612 def ptr_basic_template(name, ptrname, retval, args, post): argument
620 def ptr_union_basic_template(name, ptrname, retval, args, pre, post): argument
639 def ptr_set_template(name, ptrname): argument
1182 def make_proof(name, substs, sorry=False): argument
1198 def emit_named(name, params, string): argument
1209 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs): argument
1260 def __init__(self, name, tagname, classes, tags): argument
2010 def assert_value_in_class(self, name, value, width): argument
2173 def __init__(self, name, fields, visible_order): argument
|
| A D | lex.py | 115 def __getattribute__(self, name): argument
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | multiboot.h | 19 uint32_t name; member
|
| /seL4-master/src/api/ |
| A D | syscall.c | 106 const char *name; in handleUnknownSyscall() local
|
| /seL4-master/manual/tools/ |
| A D | parse_doxygen_xml.py | 407 def level_to_heading(self, level, name): argument
580 def level_to_heading(self, level, name): argument
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 866 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) in seL4_DebugNameThread()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 633 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) in seL4_DebugNameThread()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 662 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) in seL4_DebugNameThread()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 838 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) in seL4_DebugNameThread()
|
| /seL4-master/src/object/ |
| A D | tcb.c | 2039 void setThreadName(tcb_t *tcb, const char *name) in setThreadName()
|