/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage1.py | 45 self.assertEqual(content.tail, []) 53 self.assertLen(content.tail, 1) 54 self.assertEqual(content.tail[0].head, 'component_decl') 55 self.assertLen(content.tail[0].tail, 2) 56 self.assertEqual(content.tail[0].tail[0].head, 'id') 57 self.assertLen(content.tail[0].tail[0].tail, [all...] |
H A D | teststage2.py | 57 self.assertLen(comp.tail, 2) 58 self.assertEqual(comp.tail[0].head, 'id') 59 self.assertLen(comp.tail[0].tail, 1) 60 self.assertEqual(comp.tail[0].tail[0], 'foo') 61 self.assertEqual(comp.tail[1].head, 'component_defn') 62 self.assertLen(comp.tail[1].tail, 0) 78 self.assertLen(comp.tail, [all...] |
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | circular_buffer.h | 34 off_t tail; member in struct:circ_buf 61 cb->tail = 0; 75 return _next_pos(cb, cb->tail) == cb->head; 86 return cb->tail == cb->head; 96 cb->buf[cb->tail] = c; 97 cb->tail = _next_pos(cb, cb->tail);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/ |
H A D | adt.hpp | 24 # define MSGPACK_PP_LIST_CONS(head, tail) (head, tail) 40 # define MSGPACK_PP_LIST_FIRST_I(head, tail) head 52 # define MSGPACK_PP_LIST_REST_I(head, tail) tail 59 # define MSGPACK_PP_LIST_IS_CONS_(head, tail) 1
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage2.py | 39 ast_augmented = [(source, filename, t) for t in ast_raw.tail] 55 assert len(item.tail) == 1, 'unexpected raw AST structure' 57 import_type = item.tail[0].head 64 import_content = ''.join(x.tail[0][1:-1] 65 for x in item.tail[0].tail) 75 import_content = item.tail[0].tail[0][1:-1] # ��� strip angles 98 more_ast_augmented = [(more_source, target, t) for t in more_ast_raw.tail]
|
H A D | scope.py | 89 head, tail = ref[0], ref[1:] 95 if len(tail) == 0: 103 for c in inner.lookup(tail, type):
|
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | glob.c | 39 static int append(struct match **tail, const char *name, size_t len, int mark) argument 43 (*tail)->next = new; 47 *tail = new; 51 static int match_in_dir(const char *d, const char *p, int flags, int (*errfunc)(const char *path, int err), struct match **tail) argument 81 if (append(tail, d, l, l)) 91 error = append(tail, d, l, l) ? GLOB_NOSPACE : 0; 111 if ((error = match_in_dir(name, p2, flags, errfunc, tail))) { 126 if (append(tail, name, l+de->d_reclen+1, mark)) { 160 struct match head = { .next = NULL }, *tail = &head; local 182 if (*p) error = match_in_dir(d, p, flags, errfunc, &tail); [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | vrefbuffer.c | 42 vbuf->tail = array; 96 vbuf->tail = vbuf->array; 103 if(vbuf->tail == vbuf->end) { 104 const size_t nused = (size_t)(vbuf->tail - vbuf->array); 115 vbuf->tail = nvec + nused; 118 vbuf->tail->iov_base = (char*)buf; 119 vbuf->tail->iov_len = len; 120 ++vbuf->tail; 155 if(vbuf->tail != vbuf->array && m == 156 (const char*)((vbuf->tail [all...] |
H A D | zone.c | 102 fa->tail = NULL; 109 msgpack_zone_finalizer* fin = fa->tail; 124 fa->tail = fa->array; 152 fa->tail = tmp + nused; 154 fa->tail->func = func; 155 fa->tail->data = data; 157 ++fa->tail; 168 fa->tail == fa->array;
|
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/ |
H A D | interrupt-client.c | 16 uint32_t tail; member in struct:__anon17 34 if (interrupt_getchar_buf->head == interrupt_getchar_buf->tail) {
|
/seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/ |
H A D | polling-client.c | 16 uint32_t tail; member in struct:__anon18 33 if (poll_getchar_buf->head == poll_getchar_buf->tail) {
|
/seL4-camkes-master/projects/musllibc/src/string/ |
H A D | stpncpy.c | 18 if (!n || !*s) goto tail; 25 tail:
|
H A D | memccpy.c | 20 if ((uintptr_t)s & ALIGN) goto tail; 28 tail:
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | netbuf.c | 173 * @param tail netbuf to chain after head, freed by this function, may not be reference after returning 176 netbuf_chain(struct netbuf *head, struct netbuf *tail) argument 179 LWIP_ERROR("netbuf_chain: invalid tail", (tail != NULL), return;); 180 pbuf_cat(head->p, tail->p); 182 memp_free(MEMP_NETBUF, tail);
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_queue.h | 30 struct pico_frame *tail; member in struct:pico_queue 90 q->tail = p; 94 q->tail->next = p; 95 q->tail = p; 124 q->tail = NULL;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | zone.h | 32 msgpack_zone_finalizer* tail; member in struct:msgpack_zone_finalizer_array 137 msgpack_zone_finalizer* fin = fa->tail; 146 ++fa->tail;
|
H A D | vrefbuffer.h | 46 struct iovec* tail; member in struct:msgpack_vrefbuffer 132 return (size_t)(vref->tail - vref->array);
|
/seL4-camkes-master/projects/lwip/test/unit/arch/ |
H A D | sys_arch.h | 44 unsigned int head, tail; member in struct:lwip_mbox
|
H A D | sys_arch.c | 217 mbox->head = mbox->tail = 0; 265 LWIP_ASSERT("mbox is full!", q->head != q->tail); 355 *msg = q->q_mem[q->tail]; 358 q->tail++; 359 if (q->tail >= (unsigned int)q->size) { 360 q->tail = 0;
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | platform_sift.py | 154 tail = '\n}};\n{}'''.format(comment_template.format(tag='END')) variable 155 report = '{head}{body}{tail}'.format(head=head, body=body, tail=tail)
|
/seL4-camkes-master/projects/camkes/apps/debug-simple/ |
H A D | debug-simple.tcl | 8 set appname [file tail [file dirname [info script]]]
|
/seL4-camkes-master/projects/lwip/src/apps/mqtt/ |
H A D | mqtt.c | 309 * @param tail Pointer to request queue tail pointer 313 mqtt_append_request(struct mqtt_request_t **tail, struct mqtt_request_t *r) argument 319 LWIP_ASSERT("mqtt_append_request: tail != NULL", tail != NULL); 322 for (iter = *tail; iter != NULL; iter = iter->next) { 330 *tail = r; 351 * @param tail Pointer to request queue tail pointer 356 mqtt_take_request(struct mqtt_request_t **tail, u16_ argument 391 mqtt_request_time_elapsed(struct mqtt_request_t **tail, u8_t t) argument 420 mqtt_clear_requests(struct mqtt_request_t **tail) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/internal/i386_sel4/ |
H A D | syscall.s | 13 subl $4, %esp # Reserve space for tail call
|
/seL4-camkes-master/projects/musllibc/src/internal/x86_64_sel4/ |
H A D | syscall.s | 13 subq $8, %rsp # Reserve space for tail call
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | usbkbd.c | 36 int tail; member in struct:ringbuf 43 rb->tail = 0; 51 rb->b[rb->tail++] = *str++; 52 if (rb->tail == sizeof(rb->b) / sizeof(*rb->b)) { 53 rb->tail = 0;
|