Lines Matching defs:val
64 write_uint64(::std::ostream& os, uint64 val, int sign)
76 *--buf_ptr = (char)((val & 7) + '0');
77 val = val >> 3;
78 } while (val != 0);
86 *--buf_ptr = xdigs[val & 15];
87 val = val >> 4;
88 } while (val != 0);
94 while (val > UINT_MAX) {
95 *--buf_ptr = (char)((val % 10) + '0');
96 val /= 10;
98 unsigned ival = (unsigned) val;