Searched refs:rest (Results 1 - 16 of 16) sorted by relevance

/seL4-camkes-master/kernel/tools/
H A Dumm.py19 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 Dlib_buffer_unpack.c8 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 Dsyscall_cp.s44 # syscall: number goes to r0, the rest 3-8
/seL4-camkes-master/kernel/manual/parts/
H A Dintro.tex9 % FIXME: Use of service, mechanism and abstraction is munged through here and the rest of the manual
H A Dvspace.tex54 The rest of this section details the paging structures for each architecture.
H A Dipc.tex24 using physical CPU registers, while the rest are backed by a fixed region of
H A Dio.tex430 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 Dtest_pbuf.c111 struct pbuf *p, *rest=NULL; local
115 pbuf_split_64k(p, &rest);
/seL4-camkes-master/projects/lwip/src/core/
H A Dtcp_in.c480 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 Dtcp.c1542 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 Dpbuf.c1104 * 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 Dpbuf.h308 void pbuf_split_64k(struct pbuf *p, struct pbuf **rest);
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dmentry.S49 # 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 Dfatent.c676 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 Dtraps.S449 # push the rest of the registers
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex779 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