/seL4-camkes-master/kernel/tools/hardware/ |
H A D | device.py | 21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str): 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: 49 def has_prop(self, name: str) -> bool:
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | class_non_intrusive.cpp | 103 print(ss.str()); 106 msgpack::unpack(unp, ss.str().data(), ss.str().size());
|
/seL4-camkes-master/kernel/manual/tools/ |
H 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,
|
H A D | parse_doxygen_xml.py | 65 if isinstance(soup, str): 68 string = str(soup) 70 string = str(soup.string) 154 params[str(n.text)] = {"type": param_type} 155 param_order.append(str(n.text)) 216 name = str(member.find('name').string) 545 parser.add_argument("-i", "--input", dest="input", type=str, 547 parser.add_argument("-o", "--output", dest="output", type=str,
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | base.py | 120 return cmp(str(type(self)), str(type(other))) 132 return cmp(str(type(getattr(self, f))), 133 str(type(getattr(other, f)))) 137 return cmp(str(getattr(self, f)), str(getattr(other, f)))
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | traps.c | 66 static void do_trap(int trapnr, char *str, struct pt_regs * regs, unsigned long error_code) argument 68 minios_printk("FATAL: Unhandled Trap %d (%s), error code=0x%lx\n", trapnr, str, error_code); 74 #define DO_ERROR(trapnr, str, name) \ 77 do_trap(trapnr, str, regs, error_code); \ 80 #define DO_ERROR_INFO(trapnr, str, name, sicode, siaddr) \ 83 do_trap(trapnr, str, regs, error_code); \
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/boost/ |
H A D | msgpack_variant_mapbased.cpp | 82 msgpack::unpacked unp = msgpack::unpack(ss.str().data(), ss.str().size());
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/cpp11/ |
H A D | array_char.hpp | 36 if(o.via.str.size != N) { throw msgpack::type_error(); } 37 std::memcpy(v.data(), o.via.str.ptr, N);
|
H A D | array_unsigned_char.hpp | 36 if(o.via.str.size != N) { throw msgpack::type_error(); } 37 std::memcpy(v.data(), o.via.str.ptr, N);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dns_client.c | 447 char *str = NULL; local 459 str = PICO_ZALLOC(PICO_DNS_IPV4_ADDR_LEN); 460 pico_ipv4_to_string(str, ip); 467 str = PICO_ZALLOC(PICO_DNS_IPV6_ADDR_LEN); 468 pico_ipv6_to_string(str, ip6.addr); 475 str = PICO_ZALLOC((size_t)(short_be(asuffix->rdlength) - 477 if (!str) { 482 memcpy(str, rdata + PICO_DNS_LABEL_INITIAL, short_be(asuffix->rdlength) - PICO_DNS_LABEL_INITIAL); 491 q->callback(str, q->arg); 496 if (str) [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | object.h | 83 msgpack_object_str str; member in union:__anon514
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Save_Option_Dialog.py | 213 self.height_lineedit.setText(str(int(height))) 229 self.width_lineedit.setText(str(int(width))) 240 self.width_lineedit.setText(str(int(width))) 241 self.height_lineedit.setText(str(int(height)))
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Spec.py | 55 'objs': '\n'.join(sorted(str(x) for x in self.objs)),
|
/seL4-camkes-master/projects/util_libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 74 required=True, type=str)
|
/seL4-camkes-master/projects/capdl/cdl_utils/ |
H A D | capdl_linker.py | 67 tcb.ip = s.eval(str(tcb.ip)) 68 tcb.sp = s.eval(str(tcb.sp)) 69 tcb.addr = s.eval(str(tcb.addr)) 70 tcb.init = s.eval(str(tcb.init))
|
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
H A D | run_tests | 216 camkes_tool_rev = 'unknown [error: %s]' % str(exn) 231 isabelle_rev = 'unknown [error: %s]' % str(exn) 244 l4v_rev = 'unknown [error: %s]' % str(exn) 256 [%s]''' % (ninja_build_tool, str(exn))) 363 info('Test failed with exception:\n %s\n\n' % str(exn))
|
/seL4-camkes-master/projects/lwip/src/core/ipv4/ |
H A D | ip4_addr.c | 269 static char str[IP4ADDR_STRLEN_MAX]; local 270 return ip4addr_ntoa_r(addr, str, IP4ADDR_STRLEN_MAX);
|
/seL4-camkes-master/projects/lwip/src/core/ipv6/ |
H A D | ip6_addr.c | 208 static char str[40]; local 209 return ip6addr_ntoa_r(addr, str, 40);
|
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal_manual.c | 149 char *str = {"wombat"}; local 150 ret = findStuff(NULL, str);
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/elf/ |
H A D | elf32.c | 92 elf32_getSectionNamed(struct Elf32_Header *elfFile, char *str) argument 97 if (strcmp(str, elf32_getSectionName(elfFile, i)) == 0) {
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | usbkbd.c | 47 static int rb_produce(struct ringbuf *rb, const char *str, int size) argument 51 rb->b[rb->tail++] = *str++; 233 char str[2] = { 0x1B, c }; local 234 rb_produce(&kbd->rb, str, 2);
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.h | 57 int fdt_string_list_index(const struct fdt_scan_prop *prop, const char *str); // -1 if not found
|
/seL4-camkes-master/projects/musllibc/src/fenv/arm/ |
H A D | fenv-hf.S | 55 str r3, [r0]
|
/seL4-camkes-master/projects/musllibc/src/fenv/arm_sel4/ |
H A D | fenv-hf.S | 55 str r3, [r0]
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_stack.h | 88 void pico_to_lowercase(char *str);
|