va_arg             87 kernel/printk.c       printint(va_arg(ap, int), 10, 1);
va_arg             89 kernel/printk.c       printint(va_arg(ap, uint64), 10, 1);
va_arg             92 kernel/printk.c       printint(va_arg(ap, uint64), 10, 1);
va_arg             95 kernel/printk.c       printint(va_arg(ap, uint32), 10, 0);
va_arg             97 kernel/printk.c       printint(va_arg(ap, uint64), 10, 0);
va_arg            100 kernel/printk.c       printint(va_arg(ap, uint64), 10, 0);
va_arg            103 kernel/printk.c       printint(va_arg(ap, uint32), 16, 0);
va_arg            105 kernel/printk.c       printint(va_arg(ap, uint64), 16, 0);
va_arg            108 kernel/printk.c       printint(va_arg(ap, uint64), 16, 0);
va_arg            111 kernel/printk.c       printptr(va_arg(ap, uint64));
va_arg            113 kernel/printk.c       consputc(va_arg(ap, uint));
va_arg            115 kernel/printk.c       if ((s = va_arg(ap, char *)) == 0)
va_arg             74 user/printf.c          printint(fd, va_arg(ap, int), 10, 1);
va_arg             76 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 1);
va_arg             79 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 1);
va_arg             82 user/printf.c          printint(fd, va_arg(ap, uint32), 10, 0);
va_arg             84 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 0);
va_arg             87 user/printf.c          printint(fd, va_arg(ap, uint64), 10, 0);
va_arg             90 user/printf.c          printint(fd, va_arg(ap, uint32), 16, 0);
va_arg             92 user/printf.c          printint(fd, va_arg(ap, uint64), 16, 0);
va_arg             95 user/printf.c          printint(fd, va_arg(ap, uint64), 16, 0);
va_arg             98 user/printf.c          printptr(fd, va_arg(ap, uint64));
va_arg            100 user/printf.c          putc(fd, va_arg(ap, uint32));
va_arg            102 user/printf.c          if ((s = va_arg(ap, char *)) == 0)