Searched refs:rest (Results 1 - 16 of 16) sorted by relevance
/seL4-camkes-master/kernel/tools/ |
H A D | umm.py | 19 rest = tps[1:] 22 return ('Word', rest[0]), rest[1:] 25 tp2, rest = helper(rest) 26 return ('Ptr', tp2), rest 29 return ('Unit',), rest 32 tp2, rest = helper(rest) 34 return ('Array', tp2, rest[ [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
H A D | lib_buffer_unpack.c | 8 size_t rest; member in struct:receiver 29 r->rest = r->sbuf.size; 33 size_t off = r->sbuf.size - r->rest; 36 if (actual_size > r->rest) actual_size = r->rest; 39 r->rest -= actual_size;
|
/seL4-camkes-master/projects/musllibc/src/thread/powerpc/ |
H A D | syscall_cp.s | 44 # syscall: number goes to r0, the rest 3-8
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | intro.tex | 9 % FIXME: Use of service, mechanism and abstraction is munged through here and the rest of the manual
|
H A D | vspace.tex | 54 The rest of this section details the paging structures for each architecture.
|
H A D | ipc.tex | 24 using physical CPU registers, while the rest are backed by a fixed region of
|
H A D | io.tex | 430 Ideally, the SMMU shares the same ASID or VMID name space with the rest of the
|
/seL4-camkes-master/projects/lwip/test/unit/core/ |
H A D | test_pbuf.c | 111 struct pbuf *p, *rest=NULL; local 115 pbuf_split_64k(p, &rest);
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | tcp_in.c | 480 struct pbuf *rest = NULL; local 481 pbuf_split_64k(recv_data, &rest); 492 if (rest != NULL) { 493 pbuf_free(rest); 504 if (rest != NULL) { 505 pbuf_free(rest); 514 if (rest != NULL) { 515 pbuf_cat(recv_data, rest); 523 /* Upper layer received the data, go on with the rest if > 64K */ 524 recv_data = rest; [all...] |
H A D | tcp.c | 1542 struct pbuf *rest; local 1557 pbuf_split_64k(refused_data, &rest); 1558 pcb->refused_data = rest; 1569 && (rest == NULL) 1591 if (rest != NULL) { 1592 pbuf_cat(refused_data, rest);
|
H A D | pbuf.c | 1104 * in *rest. 1111 * @param rest pointer to store the remainder (after the first 64K) 1113 void pbuf_split_64k(struct pbuf *p, struct pbuf **rest) argument 1115 *rest = NULL; 1142 /* tot_len field in rest does not need modifications */ 1144 *rest = r;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | pbuf.h | 308 void pbuf_split_64k(struct pbuf *p, struct pbuf **rest);
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | mentry.S | 49 # This is an interrupt. Discard the mcause MSB and decode the rest.
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | fatent.c | 676 unsigned long rest = sbi->fat_length - cur_block; local 677 fat_ent_reada(sb, &fatent, min(reada_blocks, rest));
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 449 # push the rest of the registers
|
/seL4-camkes-master/tools/cogent/cogent/manual/ |
H A D | cogent-manual.tex | 779 This is done by separating the linear field's value from the rest of the record. The fact that the field value is no more present 1174 fields and not the rest, which is not allowed. 2240 either. The solution here is to separate all escape-restricted parts from the rest, discard them in the 2241 banged scope and let the rest escape. 2537 rest: all e. List e -> List e
|
Completed in 78 milliseconds