/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_cond_timedwait.c | 142 /* Lock barrier first to control wake order. */ 179 struct waiter *p, *first=0; local 190 if (!first) first=p; 208 /* Allow first signaled waiter, if any, to proceed. */ 209 if (first) unlock(&first->barrier);
|
H A D | sem_open.c | 32 int fd, i, e, slot, first=1, cnt, cs; local 81 * existing file first and fall back to creation. */ 98 if (first) { 99 first = 0;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | list.h | 253 struct list_head *first = list->next; local 256 first->prev = prev; 257 prev->next = first; 266 * @head: the place to add it in the first list. 278 * @head: the place to add it in the first list. 290 * @head: the place to add it in the first list. 306 * @head: the place to add it in the first list. 330 * list_first_entry - get the first element from a list 533 struct hlist_node *first; member in struct:hlist_head 540 #define HLIST_HEAD_INIT { .first 585 struct hlist_node *first = h->first; local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | list.h | 255 struct list_head *first = list->next; local 258 first->prev = prev; 259 prev->next = first; 268 * @head: the place to add it in the first list. 280 * @head: the place to add it in the first list. 292 * @head: the place to add it in the first list. 308 * @head: the place to add it in the first list. 332 * list_first_entry - get the first element from a list 535 struct hlist_node *first; member in struct:hlist_head 542 #define HLIST_HEAD_INIT { .first 587 struct hlist_node *first = h->first; local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | list.h | 258 struct list_head *first = list->next; local 261 first->prev = prev; 262 prev->next = first; 271 * @head: the place to add it in the first list. 284 * @head: the place to add it in the first list. 297 * @head: the place to add it in the first list. 313 * @head: the place to add it in the first list. 337 * list_first_entry - get the first element from a list 540 struct hlist_node *first; member in struct:hlist_head 547 #define HLIST_HEAD_INIT { .first 593 struct hlist_node *first = h->first; local [all...] |
/seL4-test-master/projects/musllibc/src/thread/powerpc64/ |
H A D | syscall_cp.s | 13 # at enter: r3 = pointer to self->cancel, r4: syscall no, r5: first arg, r6: 2nd, r7: 3rd, r8: 4th, r9: 5th, r10: 6th
|
/seL4-test-master/projects/musllibc/src/thread/powerpc/ |
H A D | syscall_cp.s | 14 #r3,r4: return values, first args 31 # at enter: r3 = pointer to self->cancel, r4: syscall no, r5: first arg, r6: 2nd, r7: 3rd, r8: 4th, r9: 5th, r10: 6th 33 # r3 holds first argument, its a pointer to self->cancel.
|
H A D | clone.s | 30 #move c into first arg
|
/seL4-test-master/tools/nanopb/tests/oneof/ |
H A D | decode_oneof.c | 34 TEST(msg.values.first == 999); 71 TEST(msg.values.first == 999);
|
H A D | encode_oneof.c | 31 msg.values.first = 999;
|
/seL4-test-master/projects/musllibc/src/setjmp/powerpc64/ |
H A D | setjmp.s | 13 # 0) store IP into 0, then into the jmpbuf pointed to by r3 (first arg)
|
/seL4-test-master/tools/nanopb/tests/anonymous_oneof/ |
H A D | decode_oneof.c | 34 TEST(msg.first == 999);
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | getifaddrs.c | 42 struct ifaddrs_storage *first; member in struct:ifaddrs_ctx 198 if (!ctx->first) ctx->first = ifs; 213 if (r == 0) *ifap = &ctx->first->ifa; 214 else freeifaddrs(&ctx->first->ifa);
|
/seL4-test-master/kernel/manual/parts/ |
H A D | notifications.tex | 31 of the invoked notification capability. It also unblocks the first 36 to just waking up the first thread waiting on the notification (also see below). 50 \apifunc{seL4\_Signal}{sel4_signal} is invoked, the first queued thread
|
H A D | cspace.tex | 50 addressing capabilities within them. This chapter first discusses 101 one from the second specified slot to the first, and one from the 102 third to the second. The first and third specified slots may be the 130 index into the \obj{CNode} at which the first capability will be placed. 152 When an object is first created, the initial capability that refers to 223 covered by their own untyped caps, both are children of the first 266 itself, by swapping the capability with the first capability in the 276 deletion requires user-level to delete the tree leaf first if 289 complete in two specific circumstances. The first being where a 339 userspace thread, the kernel first consult [all...] |
H A D | bootup.tex | 28 first slot of the CNode has CPTR 0x0, the second slot has CPTR 0x1 etc. 30 The first 12 slots contain specific capabilities as listed in 87 \texttt{end} being the CPTR of the first slot after the region ends, i.e.\ 146 ordered such that the first capability references the first frame of the
|
H A D | ipc.tex | 23 The message registers are numbered and the first few message registers are implemented 38 kernel and is passed unmodified as the first data payload of the message. The 108 system calls will wait in a queue for the first available receiver. Likewise, if 111 will wait for the first available sender. 179 \texttt{capsUnwrapped} of 2, then the first capability in the message was
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 154 /* see if the first level exists */ 179 int first; local 185 first = 1; 186 while (!found && (first || i != cspace->last_second_level)) { 187 first = 0; 195 /* ask the first level node for an empty slot */
|
/seL4-test-master/tools/nanopb/tests/mem_release/ |
H A D | mem_release.c | 122 /* Encode first with TestMessage */ 141 msg.first = 999; 163 TEST(msg.first == 999);
|
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | mmap.c | 138 uintptr_t first = a, last = a + (npage-1) * RISCV_PGSIZE; local 139 for (a = last; a > first && __va_avail(a); a -= RISCV_PGSIZE) 141 if (a > first)
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | ipc.c | 158 int first = 1; local 166 if (first) { 172 first = 0; 214 int first = 1; local 222 if (!first) { 225 first = 0; 343 * thread enqueued last will be run first, for a given priority. */ 1038 /* first we signal to endpoint to tell the test runner we are ready */ 1049 /* after the first nbsend, we want to signal the clients via init_ep */ 1285 /* now try again, but start the client first */ [all...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 166 bool_t first = true; local 169 if (first) { 171 first = false; 198 * that should be low by first inverting */ 436 /* Set host SP to point just beyond the first field to be stored on exit. */ 1278 * in c_traps when we first peform a SysVMEnter, but we could presently 1399 void clearVPIDIOPortMappings(vpid_t vpid, uint16_t first, uint16_t last) argument 1409 setIOPortMask(vcpu->io, first, last, true);
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | sglib.h | 183 /* i is the index of the first used element in the array */ 184 /* j is the index of the first free element in the array */ 211 /* i is the index of the first free element in the array */ 335 #define SGLIB_LIST_CONCAT(type, first, second, next) {\ 336 if ((first)==NULL) {\ 337 (first) = (second);\ 340 for(_p_ = (first); _p_->next!=NULL; _p_=_p_->next) ;\ 588 #define SGLIB_DL_LIST_CONCAT(type, first, second, previous, next) {\ 589 if ((first)==NULL) {\ 590 (first) [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | vcpu.h | 352 void clearVPIDIOPortMappings(vpid_t vpid, uint16_t first, uint16_t last);
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mentry.S | 270 # Boot on the first hart
|