lib/libc/gdtoa/strtorQ.c

69

L[_1] = bits[2];

lib/libc/gdtoa/strtorQ.c

76

L[_1] = bits[2];

lib/libc/gdtoa/strtorQ.c

85

L[_1] = L[_2] = L[_3] = 0;

lib/libc/gdtoa/strtord.c

48

L[_1] = bits[0];

lib/libc/gdtoa/strtord.c

54

L[_1] = bits[0];

lib/libc/gdtoa/strtord.c

63

L[_1] = 0;

lib/libc/gdtoa/strtorx.c

78

L[_1] = (UShort)(bits[1] >> 16);

lib/libc/gdtoa/strtorx.c

86

L[_1] = 0x8000;

usr.bin/ssh/libcrux_internal.h

252

_m0, _m1, src1, src2, _0, _1, T) \

usr.bin/ssh/libcrux_internal.h

295

#define core_hint_black_box(X, _0, _1) (X)

usr.bin/ssh/libcrux_internal.h

560

#define core_slice_raw_from_raw_parts_mut(ptr, len, _0, _1) \

usr.bin/ssh/libcrux_internal.h

562

#define core_slice_raw_from_raw_parts(ptr, len, _0, _1) \