cmd_print
cmd_print(int argc, char *argv[])
cmd_print(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv)