Did you mean (for illumos-gate):print_uint32 printf_uint32 print_int
Your search defs:print_int32 did not match any files. Suggestions: