printptr          111 kernel/printk.c       printptr(va_arg(ap, uint64));
printptr           98 user/printf.c          printptr(fd, va_arg(ap, uint64));