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));