| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | ofl_add.c | 5 FILE **head = __ofl_lock(); local
|
| H A D | fclose.c | 17 FILE **head = __ofl_lock(); local
|
| /seL4-refos-master/libs/libutils/include/utils/ |
| H A D | list.h | 21 struct list_node *head; member in struct:__anon2
|
| H A D | circular_buffer.h | 33 off_t head; member in struct:circ_buf
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | list.h | 21 struct list_node *head; member in struct:__anon3
|
| H A D | circular_buffer.h | 33 off_t head; member in struct:circ_buf
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
| H A D | split.h | 32 struct utspace_split_node **head; member in struct:utspace_split_node
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | split.h | 32 struct utspace_split_node **head; member in struct:utspace_split_node
|
| /seL4-refos-master/libs/libmuslc/src/exit/ |
| H A D | atexit.c | 13 } builtin, *head; variable in typeref:struct:fl
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | tqueue.c | 35 static tqueue_node_t *head(tqueue_node_t *list) function
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | tqueue.c | 35 static tqueue_node_t *head(tqueue_node_t *list) function
|
| /seL4-refos-master/libs/libmuslc/src/stdlib/ |
| H A D | qsort.c | 88 static void sift(unsigned char *head, size_t width, cmpfun cmp, int pshift, size_t lp[]) argument
115 static void trinkle(unsigned char *head, size_t width, cmpfun cmp, size_t pp[2], int pshift, int trusty, size_t lp[]) argument
158 unsigned char *head, *high; local
[all...] |
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | synccall.c | 15 } *volatile head; variable
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | platform_sift.py | 157 head = 'number of memory regions: {}\n'.format(n) variable
|
| /seL4-refos-master/libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 22 static void _remove_node(struct utspace_split_node **head, struct utspace_split_node *node) argument
36 static void _insert_node(struct utspace_split_node **head, struct utspace_split_node *node) argument
73 _insert_new_node(allocman_t *alloc, struct utspace_split_node **head, cspacepath_t ut, uintptr_t paddr) argument
225 find_head_for_paddr(struct utspace_split_node **head, uintptr_t paddr, size_t size_bits) argument
257 struct utspace_split_node **head = NULL; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 22 static void _remove_node(struct utspace_split_node **head, struct utspace_split_node *node) argument
36 static void _insert_node(struct utspace_split_node **head, struct utspace_split_node *node) argument
73 _insert_new_node(allocman_t *alloc, struct utspace_split_node **head, cspacepath_t ut, uintptr_t paddr) argument
225 find_head_for_paddr(struct utspace_split_node **head, uintptr_t paddr, size_t size_bits) argument
257 struct utspace_split_node **head = NULL; local
[all...] |
| /seL4-refos-master/libs/libmuslc/src/regex/ |
| H A D | glob.c | 143 static void freelist(struct match *head) argument
160 struct match head = { .next = NULL }, *tail = &head; local
[all...] |
| /seL4-refos-master/kernel/include/smp/ |
| H A D | lock.h | 48 clh_qnode_t *head; member in struct:clh_lock
|
| /seL4-refos-master/kernel/include/object/ |
| H A D | tcb.h | 23 tcb_t *head; member in struct:tcb_queue
|
| /seL4-refos-master/libs/libmuslc/src/aio/ |
| H A D | aio.c | 65 struct aio_thread *head; member in struct:aio_queue
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | printer.c | 129 print_dscope(acpi_dmar_remap_hdr_t* head, acpi_dmar_dscope_t* dscope) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | printer.c | 129 print_dscope(acpi_dmar_remap_hdr_t* head, acpi_dmar_dscope_t* dscope) argument
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | io.c | 48 io_mapping_t *head; member in struct:sel4platsupport_io_mapper_cookie
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | io.c | 48 io_mapping_t *head; member in struct:sel4platsupport_io_mapper_cookie
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64/bits/ |
| H A D | signal.h | 32 struct _aarch64_ctx head; member in struct:fpsimd_context
38 struct _aarch64_ctx head; member in struct:esr_context
|