printptr          109 kernel/printf.c       printptr(va_arg(ap, uint64));
printptr           95 user/printf.c          printptr(fd, va_arg(ap, uint64));