printptr           53 kernel/printf.c printptr(uint64 x)
printptr           42 user/printf.c  printptr(int fd, uint64 x) {