Searched refs:hexdigits (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/molly/
H A Dmolly_init.c55 static const char hexdigits[] = "0123456789abcdef"; variable
63 serial_putchar(hexdigits[idx]);
75 serial_putchar(hexdigits[idx]);
86 serial_putchar(hexdigits[idx]);
/barrelfish-2018-10-04/kernel/
H A Dprintf.c66 static const char hexdigits[] = "0123456789abcdef"; variable
459 xdigs = hexdigits;
495 xdigs = hexdigits;

Completed in 35 milliseconds