crypto/openssh/libcrux_mlkem768_sha3.h
5933
uint8_t r3 =
crypto/openssh/libcrux_mlkem768_sha3.h
5979
.f3 = r3,
crypto/openssh/libcrux_mlkem768_sha3.h
6068
int16_t r3 =
crypto/openssh/libcrux_mlkem768_sha3.h
6102
.f3 = r3,
crypto/openssh/libcrux_mlkem768_sha3.h
7580
uint8_t r3 =
crypto/openssh/libcrux_mlkem768_sha3.h
7589
.fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4});
crypto/openssh/libcrux_mlkem768_sha3.h
7734
uint8_t r3 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t,
crypto/openssh/libcrux_mlkem768_sha3.h
7746
.fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4});
crypto/openssh/libcrux_mlkem768_sha3.h
7818
int16_t r3 =
crypto/openssh/libcrux_mlkem768_sha3.h
7849
.f3 = r3,
crypto/openssh/poly1305.c
36
uint32_t r0,r1,r2,r3,r4;
crypto/openssh/poly1305.c
56
r3 = t2 & 0x3f03fff; t3 >>= 8;
crypto/openssh/poly1305.c
61
s3 = r3 * 5;
crypto/openssh/poly1305.c
93
t[3] = mul32x32_64(h0,r3) + mul32x32_64(h1,r2) + mul32x32_64(h2,r1) + mul32x32_64(h3,r0) + mul32x32_64(h4,s4);
crypto/openssh/poly1305.c
94
t[4] = mul32x32_64(h0,r4) + mul32x32_64(h1,r3) + mul32x32_64(h2,r2) + mul32x32_64(h3,r1) + mul32x32_64(h4,r0);
crypto/openssl/crypto/poly1305/poly1305.c
279
u32 r0, r1, r2, r3;
crypto/openssl/crypto/poly1305/poly1305.c
287
r3 = st->r[3];
crypto/openssl/crypto/poly1305/poly1305.c
291
s3 = r3 + (r3 >> 2);
crypto/openssl/crypto/poly1305/poly1305.c
311
d3 = ((u64)h0 * r3) + ((u64)h1 * r2) + ((u64)h2 * r1) + ((u64)h3 * r0) + (h4 * s3);
crypto/openssl/crypto/poly1305/poly1305_ieee754.c
115
elem64 r0, r1, r2, r3;
crypto/openssl/crypto/poly1305/poly1305_ieee754.c
165
r3.u = EXP(52 + 96) | (U8TOU32(&key[12]) & 0x0ffffffc);
crypto/openssl/crypto/poly1305/poly1305_ieee754.c
170
st->r[6] = r3.d - TWO(52) * TWO96;
crypto/openssl/crypto/rsa/rsa_x931g.c
107
if (!BN_gcd(r3, r1, r2, ctx))
crypto/openssl/crypto/rsa/rsa_x931g.c
110
if (!BN_div(r0, NULL, r0, r3, ctx))
crypto/openssl/crypto/rsa/rsa_x931g.c
30
BIGNUM *r0 = NULL, *r1 = NULL, *r2 = NULL, *r3 = NULL;
crypto/openssl/crypto/rsa/rsa_x931g.c
45
r3 = BN_CTX_get(ctx);
crypto/openssl/crypto/rsa/rsa_x931g.c
47
if (r3 == NULL)
lib/libbluetooth/hci.c
604
struct ng_btsocket_hci_raw_node_buffer r3;
lib/libbluetooth/hci.c
643
if (ioctl(s, SIOC_HCI_RAW_NODE_GET_BUFFER, &rp.r3, sizeof(rp.r3)) < 0)
lib/libbluetooth/hci.c
645
di->cmd_free = rp.r3.buffer.cmd_free;
lib/libbluetooth/hci.c
646
di->sco_size = rp.r3.buffer.sco_size;
lib/libbluetooth/hci.c
647
di->sco_pkts = rp.r3.buffer.sco_pkts;
lib/libbluetooth/hci.c
648
di->sco_free = rp.r3.buffer.sco_free;
lib/libbluetooth/hci.c
649
di->acl_size = rp.r3.buffer.acl_size;
lib/libbluetooth/hci.c
650
di->acl_pkts = rp.r3.buffer.acl_pkts;
lib/libbluetooth/hci.c
651
di->acl_free = rp.r3.buffer.acl_free;
lib/msun/ld128/e_lgammal_r.c
148
r3 = 1.78691044735267497452847829579514367e+00L,
lib/msun/ld128/e_lgammal_r.c
300
q = one+y*(r1+y*(r2+y*(r3+y*(r4+y*(r5+y*(r6+y*(r7+y*(r8+
lib/msun/ld80/e_lgammal_r.c
331
q = 1+y*(r1+y*(r2+y*(r3+y*(r4+y*(r5+y*(r6+y*r7))))));
lib/msun/src/e_lgamma_r.c
142
r3 = 1.71933865632803078993e-01, /* 0x3FC601ED, 0xCCFBDF27 */
lib/msun/src/e_lgamma_r.c
272
q = one+y*(r1+y*(r2+y*(r3+y*(r4+y*(r5+y*r6)))));
lib/msun/src/e_lgammaf_r.c
189
q = one+y*(r1+y*(r2+y*r3));
lib/msun/src/e_lgammaf_r.c
72
r3 = 3.75673687e-03, /* 0x3b763396 */
sys/dev/adb/adb_bus.c
110
uint16_t r3;
sys/dev/adb/adb_bus.c
142
r3 = sc->devinfo[i].register3;
sys/dev/adb/adb_bus.c
143
r3 &= 0xf000;
sys/dev/adb/adb_bus.c
144
r3 |= ((uint16_t)(next_free) & 0x000f) << 8;
sys/dev/adb/adb_bus.c
145
r3 |= 0x00fe;
sys/dev/adb/adb_bus.c
148
sizeof(uint16_t),(u_char *)(&r3),NULL);
sys/dev/adb/adb_bus.c
161
r3 = sc->devinfo[i].register3;
sys/dev/adb/adb_bus.c
162
r3 &= 0xf000;
sys/dev/adb/adb_bus.c
163
r3 |= ((uint16_t)(i) & 0x000f) << 8;
sys/dev/adb/adb_bus.c
167
sizeof(uint16_t),(u_char *)(&r3),NULL);
sys/dev/ath/ath_rate/sample/sample.c
235
ath_rate_sample_max_4ms_framelen[idx][MCS_IDX(sched->r3)]);
sys/dev/ath/ath_rate/sample/sample.c
917
rc[3].rix = sched->r3;
sys/dev/ath/ath_rate/sample/sample.c
946
rix3 = sched->r3;
sys/dev/ath/ath_rate/sample/sample.h
73
uint8_t t3, r3; /* series 3: tries, rate code */
sys/dev/cxgbe/common/t4_msg.h
3824
__be32 r3;
sys/dev/cxgbe/crypto/t6_kern_tls.c
1140
wr->r3 = 0;
sys/dev/cxgbe/crypto/t6_kern_tls.c
1241
wr->r3 = 0;
sys/dev/cxgbe/crypto/t6_kern_tls.c
1886
wr->r3 = 0;
sys/dev/cxgbe/crypto/t7_kern_tls.c
1180
wr->r3 = 0;
sys/dev/cxgbe/firmware/t4fw_interface.h
10037
__u8 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
10152
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
10212
__u8 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
10320
__u8 r3[7];
sys/dev/cxgbe/firmware/t4fw_interface.h
10818
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
10822
__be16 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
10878
__u8 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1250
__be32 r3[2];
sys/dev/cxgbe/firmware/t4fw_interface.h
1260
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1644
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1654
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1913
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1923
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
1937
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2217
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2255
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2302
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2394
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2424
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2516
__u8 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
2544
__u8 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
2565
__u8 r3[7];
sys/dev/cxgbe/firmware/t4fw_interface.h
2570
__u8 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
2738
__u8 r3[3];
sys/dev/cxgbe/firmware/t4fw_interface.h
2820
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2855
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
2896
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
3071
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
3213
__u8 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
337
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
3470
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
3559
__u8 r3[7];
sys/dev/cxgbe/firmware/t4fw_interface.h
369
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
3709
__u8 r3[2];
sys/dev/cxgbe/firmware/t4fw_interface.h
3867
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
4123
__u8 r3[4];
sys/dev/cxgbe/firmware/t4fw_interface.h
4183
__u8 r3[4];
sys/dev/cxgbe/firmware/t4fw_interface.h
4235
__u8 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
4295
__u8 r3[4];
sys/dev/cxgbe/firmware/t4fw_interface.h
4354
__u8 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
4423
__u8 r3[4];
sys/dev/cxgbe/firmware/t4fw_interface.h
4475
__u8 r3[2];
sys/dev/cxgbe/firmware/t4fw_interface.h
4954
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
4983
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
5422
__be32 r3[2];
sys/dev/cxgbe/firmware/t4fw_interface.h
5440
__be32 r3[2];
sys/dev/cxgbe/firmware/t4fw_interface.h
5693
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
5699
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
729
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
741
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
799
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
8049
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
814
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
8207
__u8 r3[7];
sys/dev/cxgbe/firmware/t4fw_interface.h
828
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
908
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
916
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9428
__u8 r3[7];
sys/dev/cxgbe/firmware/t4fw_interface.h
9440
__be16 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9445
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9467
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
949
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9686
__be32 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9814
__be64 r3;
sys/dev/cxgbe/firmware/t4fw_interface.h
9936
__u8 r3[5];
sys/dev/cxgbe/iw_cxgbe/qp.c
440
wqe->send.r3 = 0;
sys/dev/cxgbe/t4_netmap.c
992
wr->r3 = 0;
sys/dev/cxgbe/t4_sge.c
5664
wr->r3[0] = 0;
sys/dev/cxgbe/t4_sge.c
5665
wr->r3[1] = 0;
sys/dev/cxgbe/t4_sge.c
5810
wr->r3 = 0;
sys/dev/cxgbe/t4_sge.c
6053
wr->r3 = 0;
sys/dev/cxgbe/t4_sge.c
6164
wr->r3 = 0;
sys/dev/cxgbe/t4_sge.c
6853
wr->r3 = 0;
sys/dev/exca/exca.c
220
int r1, r2, r3, r4, r5, r6, r7;
sys/dev/exca/exca.c
223
r3 = exca_getb(sc, map->sysmem_stop_msb);
sys/dev/exca/exca.c
230
win, r1, r2, r3, r4, r5, r6, r7,
sys/dev/exca/exca.c
473
int r1, r2, r3, r4;
sys/dev/exca/exca.c
476
r3 = exca_getb(sc, map->stop_msb);
sys/dev/exca/exca.c
479
"(%08x+%08x)\n", win, r1, r2, r3, r4,
sys/dev/iwn/if_iwn.c
5931
int32_t r1, r2, r3, r4, temp;
sys/dev/iwn/if_iwn.c
5937
r3 = le32toh(uc->temp[2].chan20MHz);
sys/dev/iwn/if_iwn.c
5940
if (r1 == r3) /* Prevents division by 0 (should not happen). */
sys/dev/iwn/if_iwn.c
5946
temp = (259 * (r4 - r2)) / (r3 - r1);
sys/dev/ral/rt2661.c
188
uint32_t r1, r2, r3, r4;
sys/dev/ral/rt2661.c
1942
rt2661_rf_write(sc, RAL_RF3, rfprog[i].r3 | power << 7);
sys/dev/ral/rt2661.c
1949
rt2661_rf_write(sc, RAL_RF3, rfprog[i].r3 | power << 7 | 1);
sys/dev/ral/rt2661.c
1956
rt2661_rf_write(sc, RAL_RF3, rfprog[i].r3 | power << 7);
sys/dev/ral/rt2860.c
207
uint32_t r1, r2, r3, r4;
sys/dev/ral/rt2860.c
2412
uint32_t r2, r3, r4;
sys/dev/ral/rt2860.c
2440
r3 = rfprog[i].r3 | txpow1 << 7;
sys/dev/ral/rt2860.c
2445
rt2860_rf_write(sc, RT2860_RF3, r3);
sys/dev/ral/rt2860.c
2452
rt2860_rf_write(sc, RT2860_RF3, r3 | 1);
sys/dev/ral/rt2860.c
2459
rt2860_rf_write(sc, RT2860_RF3, r3);
sys/dev/usb/wlan/if_mtw.c
4429
cmd.r3 = 0;
sys/dev/usb/wlan/if_mtwreg.h
890
uint32_t r3;
sys/dev/usb/wlan/if_rum.c
2137
rum_rf_write(sc, RT2573_RF3, rfprog[i].r3 | power << 7);
sys/dev/usb/wlan/if_rum.c
2142
rum_rf_write(sc, RT2573_RF3, rfprog[i].r3 | power << 7 | 1);
sys/dev/usb/wlan/if_rum.c
2147
rum_rf_write(sc, RT2573_RF3, rfprog[i].r3 | power << 7);
sys/dev/usb/wlan/if_rum.c
345
uint32_t r1, r2, r3, r4;
sys/dev/usb/wlan/if_run.c
4173
uint32_t r2, r3, r4;
sys/dev/usb/wlan/if_run.c
4193
r3 = rfprog[i].r3 & 0xffffc1ff;
sys/dev/usb/wlan/if_run.c
4198
r3 |= (txpow1 << 10) | (1 << 9);
sys/dev/usb/wlan/if_run.c
4203
r3 |= (txpow1 << 10);
sys/dev/usb/wlan/if_run.c
4214
r3 |= (txpow1 << 9);
sys/dev/usb/wlan/if_run.c
4222
run_rt2870_rf_write(sc, r3 & ~(1 << 2));
sys/dev/usb/wlan/if_run.c
4229
run_rt2870_rf_write(sc, r3 | (1 << 2));
sys/dev/usb/wlan/if_run.c
4236
run_rt2870_rf_write(sc, r3 & ~(1 << 2));
sys/dev/usb/wlan/if_run.c
604
uint32_t r1, r2, r3, r4;
sys/dev/usb/wlan/if_zyd.c
1175
uint32_t r1, r2, r3;
sys/dev/usb/wlan/if_zyd.c
1184
error = zyd_rfwrite(sc, rfprog[chan - 1].r3);
sys/dev/usb/wlan/if_zyd.c
1201
uint32_t r1, r2, r3;
sys/dev/usb/wlan/if_zyd.c
1213
error = zyd_rfwrite_cr(sc, rfprog[chan - 1].r3);
sys/powerpc/fpu/fpu_add.c
184
FPU_SUBCS(r3, x->fp_mant[3], y->fp_mant[3]);
sys/powerpc/fpu/fpu_add.c
190
if ((r0 | r1 | r2 | r3) == 0) {
sys/powerpc/fpu/fpu_add.c
208
FPU_SUBS(r3, 0, r3);
sys/powerpc/fpu/fpu_add.c
213
r->fp_mant[3] = r3;
sys/powerpc/fpu/fpu_add.c
62
u_int r0, r1, r2, r3;
sys/powerpc/fpu/fpu_div.c
155
u_int r0, r1, r2, r3, d0, d1, d2, d3, y0, y1, y2, y3;
sys/powerpc/fpu/fpu_div.c
226
FPU_SUBS(d3, r3, y3); FPU_SUBCS(d2, r2, y2); \
sys/powerpc/fpu/fpu_div.c
234
FPU_ADDS(r3, r3, r3); FPU_ADDCS(r2, r2, r2); \
sys/powerpc/fpu/fpu_div.c
239
r2 = (r2 << 1) | (r3 >> 31), r3 <<= 1
sys/powerpc/fpu/fpu_div.c
248
r0 = d0, r1 = d1, r2 = d2, r3 = d3; \
sys/powerpc/fpu/fpu_div.c
262
r3 = x->fp_mant[3];
sys/powerpc/fpu/fpu_div.c
272
r0 = d0, r1 = d1, r2 = d2, r3 = d3;
sys/powerpc/fpu/fpu_div.c
284
x->fp_sticky = r0 | r1 | r2 | r3;