sysdecode_procctl_cmd
const char *sysdecode_procctl_cmd(int _cmd);
print_integer_arg(sysdecode_procctl_cmd, *ip);
print_integer_arg(sysdecode_procctl_cmd, fp, args[sc->offset]);