printint           87 kernel/printk.c       printint(va_arg(ap, int), 10, 1);
printint           89 kernel/printk.c       printint(va_arg(ap, uint64), 10, 1);
printint           92 kernel/printk.c       printint(va_arg(ap, uint64), 10, 1);
printint           95 kernel/printk.c       printint(va_arg(ap, uint32), 10, 0);
printint           97 kernel/printk.c       printint(va_arg(ap, uint64), 10, 0);
printint          100 kernel/printk.c       printint(va_arg(ap, uint64), 10, 0);
printint          103 kernel/printk.c       printint(va_arg(ap, uint32), 16, 0);
printint          105 kernel/printk.c       printint(va_arg(ap, uint64), 16, 0);
printint          108 kernel/printk.c       printint(va_arg(ap, uint64), 16, 0);
printint           74 user/printf.c          printint(fd, va_arg(ap, int), 10, 1);
printint           76 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 1);
printint           79 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 1);
printint           82 user/printf.c          printint(fd, va_arg(ap, uint32), 10, 0);
printint           84 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 0);
printint           87 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 0);
printint           90 user/printf.c          printint(fd, va_arg(ap, uint32), 16, 0);
printint           92 user/printf.c          printint(fd, va_arg(ap, uint64), 16, 0);
printint           95 user/printf.c          printint(fd, va_arg(ap, uint64), 16, 0);