/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 24 * address then data. 30 /* Copy from data into buf while fixing endianess */ 32 _fill_data(char* buf, const char* data, enum kvfmt fmt, int count) argument 39 buf[idx] = data[i]; 41 data += bytes; 59 /* Read no more than count registers into data with correct endianess */ 61 _do_kvread(i2c_kvslave_t* kvs, uint64_t reg, void* data, int count) argument 70 /* Limit the amount of data to read to fit our buffer */ 94 _fill_data(data, d, kvs->data_fmt, count); 98 /* Write no more than count registers from data */ 100 _do_kvwrite(i2c_kvslave_t* kvs, uint64_t reg, const void* data, int count) argument 216 char* data = (char*)vdata; local 246 char* data = (char*)vdata; local [all...] |
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | serial.c | 25 const char *data = (const char *)vdata; local 27 seL4_DebugPutChar(*data++);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 25 const char *data = (const char *)vdata; local 27 seL4_DebugPutChar(*data++);
|
/seL4-refos-master/libs/libmuslc/src/select/ |
H A D | select.c | 13 syscall_arg_t data[2] = { 0, _NSIG/8 }; 24 return syscall_cp(SYS_pselect6, n, rfds, wfds, efds, tv ? &ts : 0, data);
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | tre-mem.c | 77 xfree(l->data); 127 l->data = xmalloc(block_size); 128 if (l->data == NULL) 140 mem->ptr = l->data;
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 42 uint32_t data = 0; local 45 data = *REG_PTR(d->vaddr, IMXUART_RHR); 46 if (data & UART_RHR_READY_MASK) { 47 character = data & UART_BYTE_MASK;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 42 uint32_t data = 0; local 45 data = *REG_PTR(d->vaddr, IMXUART_RHR); 46 if (data & UART_RHR_READY_MASK) { 47 character = data & UART_BYTE_MASK;
|
/seL4-refos-master/libs/libmuslc/src/ldso/ |
H A D | dl_iterate_phdr.c | 7 static int static_dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) argument 39 return (callback)(&info, sizeof (info), data);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 99 * @param data uninitialised vspace data struct to populate. 110 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 121 * @param data uninitialised vspace data struct to populate. 132 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 141 * @param data uninitialised vspace data struct to populate. 150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 162 * @param data uninitialise 243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument 259 sel4utils_bootstrap_vspace_with_bootinfo_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info) argument 266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument [all...] |
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 99 * @param data uninitialised vspace data struct to populate. 110 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 121 * @param data uninitialised vspace data struct to populate. 132 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 141 * @param data uninitialised vspace data struct to populate. 150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, 162 * @param data uninitialise 243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument 259 sel4utils_bootstrap_vspace_with_bootinfo_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info) argument 266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument [all...] |
/seL4-refos-master/kernel/tools/hardware/ |
H A D | device.py | 119 data = list(self.props['interrupts-extended'].words) 120 while len(data) > 0: 121 phandle = data.pop(0) 123 irqs.append(interrupt_parent.parse_irq(self, data)) 125 data = list(self.props['interrupts'].words) 127 while len(data) > 0: 128 irqs.append(interrupt_parent.parse_irq(self, data)) 176 data = list(ranges_prop.words) 200 while len(data) > 0: 201 child_addr = Utils.make_number(child_addr_cells, data) [all...] |
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 48 int util_is_printable_string(const void *data, int len) argument 50 const char *s = data; 80 * * Displays data of a given length according to selected options 82 * * If a specific data type is provided in disp, then this is used. Otherwise 83 * * we try to guess the data type / size from the contents. 86 * * @param data Data to display 88 * * @return 0 if ok, -1 if data does not match format 90 int show_data(struct display_info *disp, const char *data, int len) argument 93 const uint8_t *p = (const uint8_t *)data; 99 /* no data, do 148 const struct fdt_property *data; local [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | ega.c | 100 const char* data = (const char*)vdata; local 103 if (text_ega_putchar(d, *data++) < 0) { 113 char* data; local 116 data = (char*)vdata; 120 *data++ = ret;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ega.c | 100 const char* data = (const char*)vdata; local 103 if (text_ega_putchar(d, *data++) < 0) { 113 char* data; local 116 data = (char*)vdata; 120 *data++ = ret;
|
/seL4-refos-master/projects/seL4_libs/libsel4test/tools/ |
H A D | extract_results.py | 79 data = args.input.read() 84 matches = re.search(regexp, data) 88 data = matches.group(0) 90 # Dump input data *before* parsing in case we choke during parsing. This 94 print(data) 99 soup = bs4.BeautifulSoup(data, "lxml")
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | topl.c | 39 if(cw->data[i] && strcmp(cw->data[i], "") ) 40 putstr(prevmsg_win, 0, cw->data[i]); 54 if (!cw->data[cw->maxcol]) 58 redotoplin(cw->data[cw->maxcol]); 61 if (!cw->data[cw->maxcol]) 70 if(cw->data[i] && strcmp(cw->data[i], "") ) 71 putstr(prevmsg_win, 0, cw->data[i]); 90 putstr(prevmsg_win, 0, cw->data[c [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | topl.c | 39 if(cw->data[i] && strcmp(cw->data[i], "") ) 40 putstr(prevmsg_win, 0, cw->data[i]); 54 if (!cw->data[cw->maxcol]) 58 redotoplin(cw->data[cw->maxcol]); 61 if (!cw->data[cw->maxcol]) 70 if(cw->data[i] && strcmp(cw->data[i], "") ) 71 putstr(prevmsg_win, 0, cw->data[i]); 90 putstr(prevmsg_win, 0, cw->data[c [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mon.c | 152 /* for deciding whether corpse or statue will carry along full monster data */ 154 ((mon)->data->geno & G_UNIQ) || \ 155 is_reviver((mon)->data) || \ 160 (dmgtype((mon)->data, AD_SEDU) || \ 161 dmgtype((mon)->data, AD_SSEX))) 172 register struct permonst *mdat = mtmp->data; 387 !is_flyer(mtmp->data) && !is_floater(mtmp->data); 389 !is_flyer(mtmp->data) && !is_floater(mtmp->data); [all...] |
H A D | were.c | 13 if (!is_were(mon->data)) 16 if (is_human(mon->data)) { 24 switch (monsndx(mon->data)) { 64 pm = counter_were(monsndx(mon->data)); 66 impossible("unknown lycanthrope %s.", mon->data->mname); 158 if (!Unchanging && is_were(youmonst.data) &&
|
H A D | mhitu.c | 61 thick_skinned(youmonst.data) ? '.' : '!'); 166 if (!mtmp->mcansee || (Invis && !perceives(mtmp->data))) { 172 nolimbs(mtmp->data)) ? "lunges" : "swings"; 222 register struct permonst *mdat; /* if mtmp is polymorphed, mdat != mtmp->data */ 308 struct permonst *mdat = mtmp->data; 321 if(mtmp->mhp <= 0 || (Underwater && !is_swimmer(mtmp->data))) 341 if (!rn2(is_orc(mtmp->data) ? 2 : 4) && 357 if (is_hider(youmonst.data)) { 362 if (enexto(&cc, u.ux, u.uy, youmonst.data)) { 372 Monnam(mtmp), youmonst.data [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mon.c | 152 /* for deciding whether corpse or statue will carry along full monster data */ 154 ((mon)->data->geno & G_UNIQ) || \ 155 is_reviver((mon)->data) || \ 160 (dmgtype((mon)->data, AD_SEDU) || \ 161 dmgtype((mon)->data, AD_SSEX))) 172 register struct permonst *mdat = mtmp->data; 387 !is_flyer(mtmp->data) && !is_floater(mtmp->data); 389 !is_flyer(mtmp->data) && !is_floater(mtmp->data); [all...] |
H A D | were.c | 13 if (!is_were(mon->data)) 16 if (is_human(mon->data)) { 24 switch (monsndx(mon->data)) { 64 pm = counter_were(monsndx(mon->data)); 66 impossible("unknown lycanthrope %s.", mon->data->mname); 158 if (!Unchanging && is_were(youmonst.data) &&
|
/seL4-refos-master/libs/libmuslc/src/crypt/ |
H A D | crypt_blowfish.c | 612 } data; local 628 if (count < min || BF_decode(data.binary.salt, &setting[7], 16)) { 631 BF_swap(data.binary.salt, 4); 633 BF_set_key(key, data.expanded_key, data.ctx.s.P, 636 memcpy(data.ctx.s.S, BF_init_state.s.S, sizeof(data.ctx.s.S)); 640 BF_word *ptr = &data.ctx.PS[0]; 642 L = BF_encrypt(&data.ctx, 643 L ^ data [all...] |