procf              36 lib/common/watchdog.c     FILE *procf = fopen("/proc/sysrq-trigger", "a");
procf              38 lib/common/watchdog.c     if (procf == NULL) {
procf              41 lib/common/watchdog.c         fprintf(procf, "%c\n", t);
procf              42 lib/common/watchdog.c         fclose(procf);