| /seL4-master/src/arch/x86/kernel/ |
| A D | cmdline.c | 82 static void UNUSED parse_uint16_array(char *str, uint16_t *array, int array_size) in parse_uint16_array() argument
88 while (str && i < array_size) { in parse_uint16_array()
89 for (last = str; *str && *str != ','; str++); in parse_uint16_array()
90 if (*str == 0) { in parse_uint16_array()
91 str = 0; in parse_uint16_array()
93 *str = 0; in parse_uint16_array()
94 str++; in parse_uint16_array()
|
| /seL4-master/include/machine/ |
| A D | io.h | 29 int impl_ksnvprintf(char *str, word_t size, const char *format, va_list ap);
66 const char *str) in puts() argument
68 if (str) { in puts()
69 while (*str) { in puts()
70 putchar(*str++); in puts()
|
| /seL4-master/src/ |
| A D | util.c | 102 long PURE str_to_long(const char *str) in str_to_long() argument
110 if (*str == '0' && (*(str + 1) == 'x' || *(str + 1) == 'X')) { in str_to_long()
112 str += 2; in str_to_long()
117 if (!*str) { in str_to_long()
121 c = *str; in str_to_long()
128 str++; in str_to_long()
129 c = *str; in str_to_long()
|
| /seL4-master/tools/hardware/utils/ |
| A D | rule.py | 19 def get_macro_str(macro: str) -> str: argument
29 def get_endif(macro: str) -> str: argument
40 …def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macr… argument
107 …__init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1, en… argument
238 def get_matched_compatible(self, device: WrappedNode) -> str:
|
| /seL4-master/src/arch/arm/32/ |
| A D | traps.S | 45 str r8, [sp, #(PT_FaultIP - PT_NextIP)]
61 str lr, [sp, #(PT_FaultIP - PT_NextIP)]
108 str r8, [sp, #(PT_FaultIP - PT_NextIP)]
152 str r8, [sp, #(PT_FaultIP - PT_NextIP)]
183 str r8, [sp]
184 str r8, [sp, #(PT_FaultIP - PT_NextIP)]
|
| A D | hyp_traps.S | 99 str lr, [sp, #4]
102 str lr, [sp, #8]
111 str lr, [sp, #(PT_FaultIP - PT_SP)]
|
| /seL4-master/src/arch/arm/64/ |
| A D | traps.S | 167 str x20, [sp, #PT_FaultIP]
181 str x20, [sp, #PT_FaultIP]
188 str x20, [sp, #PT_FaultIP]
196 str x20, [sp, #PT_FaultIP]
221 str x20, [sp, #PT_FaultIP]
230 str x20, [sp, #PT_FaultIP]
|
| /seL4-master/tools/hardware/ |
| A D | fdt.py | 21 self.by_path: Dict[str, WrappedNode] = {}
57 def get_path(self, path: str) -> WrappedNode: argument
65 def lookup_alias(self, alias: str) -> str: argument
|
| A D | device.py | 21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str): argument
26 self.children: Dict[str, 'WrappedNode'] = OrderedDict()
27 self.props: Dict[str, pyfdt.pyfdt.FdtProperty] = {}
45 def get_prop(self, name: str) -> pyfdt.pyfdt.FdtProperty: argument
49 def has_prop(self, name: str) -> bool: argument
|
| A D | config.py | 106 def get_arch_config(arch: str, addrspace_max: int) -> Config: argument
|
| /seL4-master/manual/tools/ |
| A D | gen_invocations.py | 110 type=str,
112 parser.add_argument("files", metavar="FILES", nargs="+", type=str,
115 parser.add_argument("-d", "--dtd", nargs="?", type=str,
|
| A D | parse_doxygen_xml.py | 65 if isinstance(soup, str):
68 string = str(soup)
70 string = str(soup.string)
172 params[str(n.text)] = {"type": param_type}
173 param_order.append(str(n.text))
256 name = str(member.find('name').string)
631 parser.add_argument("-i", "--input", dest="input", type=str,
633 parser.add_argument("-o", "--output", dest="output", type=str,
|
| /seL4-master/tools/ |
| A D | invocation_header_gen.py | 170 invocation_labels.append((str(method.getAttribute("id")),
171 str(method.getAttribute("condition"))))
|
| A D | syscall_header_gen.py | 156 name = str(syscall.getAttribute("name"))
|
| A D | lex.py | 57 StringTypes = (str, bytes)
89 return str(self)
|
| /seL4-master/libsel4/tools/ |
| A D | invocation_header_gen.py | 170 invocation_labels.append((str(method.getAttribute("id")),
171 str(method.getAttribute("condition"))))
|
| A D | syscall_header_gen.py | 156 name = str(syscall.getAttribute("name"))
|
| /seL4-master/libsel4/include/sel4/ |
| A D | assert.h | 19 void __assert_fail(const char *str, const char *file, int line, const char *function);
|
| /seL4-master/include/ |
| A D | assert.h | 15 const char *str,
|
| A D | util.h | 136 long PURE str_to_long(const char *str);
|
| /seL4-master/src/machine/ |
| A D | io.c | 609 int impl_ksnvprintf(char *str, word_t size, const char *format, va_list ap) in impl_ksnvprintf() argument
611 if (!str) { in impl_ksnvprintf()
617 .buf = str, in impl_ksnvprintf()
633 str[(ret < size) ? ret : size - 1] = '\0'; in impl_ksnvprintf()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 818 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString() argument
820 for (char *s = str; *s; s++) { in seL4_DebugPutString()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 587 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString() argument
589 for (char *s = str; *s; s++) { in seL4_DebugPutString()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 591 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString() argument
593 for (char *s = str; *s; s++) { in seL4_DebugPutString()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 789 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString() argument
791 for (char *s = str; *s; s++) { in seL4_DebugPutString()
|