Searched refs:tx (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/projects/musllibc/src/linux/
H A Dadjtimex.c4 int adjtimex(struct timex *tx) argument
6 return syscall(SYS_adjtimex, tx);
H A Dadjtime.c9 struct timex tx = { 0 }; local
15 tx.offset = in->tv_sec*1000000 + in->tv_usec;
16 tx.modes = ADJ_OFFSET_SINGLESHOT;
18 if (syscall(SYS_adjtimex, &tx) < 0) return -1;
20 out->tv_sec = tx.offset / 1000000;
21 if ((out->tv_usec = tx.offset % 1000000) < 0) {
/seL4-test-master/projects/musllibc/src/math/
H A D__rem_pio2f.c45 double tx[1],ty[1]; local
67 tx[0] = u.f;
68 n = __rem_pio2_large(tx,ty,e0,1,0);
H A D__rem_pio2.c52 double tx[3],ty[2]; local
161 tx[i] = (double)(int32_t)z;
162 z = (z-tx[i])*0x1p24;
164 tx[i] = z;
166 while (tx[i] == 0.0)
168 n = __rem_pio2_large(tx,ty,(int)(ix>>20)-(0x3ff+23),i+1,1);
H A D__rem_pio2l.c73 double tx[NX],ty[NY]; local
118 tx[i] = (double)(int32_t)z;
119 z = (z-tx[i])*0x1p24;
121 tx[i] = z;
122 while (tx[i] == 0)
124 n = __rem_pio2_large(tx, ty, ex-0x3fff-23, i+1, NY);
/seL4-test-master/tools/riscv-pk/machine/
H A Duart.c20 volatile uint32_t *tx = uart + UART_REG_TXFIFO;
21 while ((int32_t)(*tx) < 0);
22 *tx = ch;
/seL4-test-master/
H A Dgriddle588 (tx[12])
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle588 (tx[12])

Completed in 41 milliseconds