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