| /seL4-master/src/arch/arm/armv/armv8-a/64/ |
| A D | cache.c | 51 #define LINEBITS(s) (((s) & MASK(3)) + 4) argument
52 #define ASSOC(s) ((((s) >> 3) & MASK(10)) + 1) argument
53 #define NSETS(s) ((((s) >> 13) & MASK(15)) + 1) argument
68 for (int s = 0; s < nsets; s++) { in clean_D_PoU() local
86 for (int s = 0; s < nsets; s++) { in cleanInvalidate_D_by_level() local
|
| /seL4-master/include/ |
| A D | assert.h | 21 #define fail(s) _fail(s, __FILE__, __LINE__, __func__) argument
39 #define fail(s) halt() argument
|
| A D | stdarg.h | 10 #define va_copy(d,s) __builtin_va_copy(d,s) argument
|
| /seL4-master/src/arch/arm/armv/armv7-a/ |
| A D | cache.c | 57 #define LINEBITS(s) (( (s) & MASK(3)) + 4) argument
59 #define ASSOC(s) ((((s) >> 3) & MASK(10)) + 1) argument
61 #define NSETS(s) ((((s) >> 13) & MASK(15)) + 1) argument
72 word_t s = readCacheSize(l, 0); in clean_D_PoU() local
93 word_t s = readCacheSize(l, 0); in cleanInvalidate_D_by_level() local
|
| /seL4-master/src/arch/arm/armv/armv8-a/32/ |
| A D | cache.c | 57 #define LINEBITS(s) (( (s) & MASK(3)) + 4) argument
59 #define ASSOC(s) ((((s) >> 3) & MASK(10)) + 1) argument
61 #define NSETS(s) ((((s) >> 13) & MASK(15)) + 1) argument
72 word_t s = readCacheSize(l, 0); in clean_D_PoU() local
93 word_t s = readCacheSize(l, 0); in cleanInvalidate_D_by_level() local
|
| /seL4-master/libsel4/include/sel4/ |
| A D | assert.h | 25 #define seL4_Fail(s) __assert_fail(s, __FILE__, __LINE__, __func__) argument
|
| /seL4-master/src/ |
| A D | assert.c | 13 const char *s, in _fail()
|
| A D | string.c | 11 word_t strnlen(const char *s, word_t maxlen) in strnlen()
|
| A D | util.c | 22 void memzero(void *s, unsigned long n) in memzero()
43 void *VISIBLE memset(void *s, unsigned long c, unsigned long n) in memset()
|
| /seL4-master/src/machine/ |
| A D | io.c | 251 static char *fmt_x(word_t x, char *s, int lower) in fmt_x()
259 static char *fmt_o(word_t x, char *s) in fmt_o()
267 static char *fmt_u(word_t x, char *s) in fmt_u()
286 static int getint(char **s) in getint()
301 char *a, *z, *s = (char *)fmt; in printf_core() local
|
| /seL4-master/tools/ |
| A D | syscall_header_gen.py | 205 def convert_to_assembler_format(s): argument
|
| A D | umm.py | 54 def handle_one_struct(s): argument
|
| A D | lex.py | 77 def __init__(self, message, s): argument
276 def input(self, s): argument
557 def _statetoken(s, names): argument
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_header_gen.py | 205 def convert_to_assembler_format(s): argument
|
| /seL4-master/manual/tools/ |
| A D | parse_doxygen_xml.py | 288 def todo_if_empty(self, s): argument
342 def todo_if_empty(self, s): argument
493 def todo_if_empty(self, s): argument
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 664 multiboot2_memory_t const *s = (multiboot2_memory_t *)(behind_tag + 8); in try_boot_sys_mbi2() local
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 820 for (char *s = str; *s; s++) { in seL4_DebugPutString() local
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 589 for (char *s = str; *s; s++) { in seL4_DebugPutString() local
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 593 for (char *s = str; *s; s++) { in seL4_DebugPutString() local
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 791 for (char *s = str; *s; s++) { in seL4_DebugPutString() local
|