digits             26 kernel/printk.c static char digits[] = "0123456789abcdef";
digits             42 kernel/printk.c     buf[i++] = digits[x % base];
digits             59 kernel/printk.c     consputc(digits[x >> (sizeof(uint64) * 8 - 4)]);
digits              7 user/printf.c  static char digits[] = "0123456789ABCDEF";
digits             32 user/printf.c      buf[i++] = digits[x % base];
digits             48 user/printf.c      putc(fd, digits[x >> (sizeof(uint64) * 8 - 4)]);