Searched refs:th (Results 1 - 7 of 7) sorted by relevance
/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 | 31 # 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/internal/i386/ |
H A D | syscall.s | 39 # Instead of passing the 5th argument on the stack, a pointer to the 40 # 5th and 6th arguments is passed. This is ugly, but there are no
|
/seL4-test-master/projects/musllibc/src/internal/ |
H A D | floatscan.c | 69 static const uint32_t th[] = { LD_B1B_MAX }; local 200 while (rp < 9*LD_B1B_DIG || (rp == 9*LD_B1B_DIG && x[a]<th[0])) { 232 if (k == z || x[k] < th[i]) { 236 if (x[a+i & MASK] > th[i]) break;
|
/seL4-test-master/kernel/manual/parts/ |
H A D | ipc.tex | 166 If the n-th capability in the message refers to the endpoint through 168 the n-th 169 position of the receiver's badges array, and the kernel sets the n-th bit (counting from the
|
H A D | bootup.tex | 171 the i-th untyped cap of the slot region \texttt{untyped}. Therefore, the array
|
H A D | cspace.tex | 213 \begin{figure}[th]
|
Completed in 91 milliseconds