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