diff options
Diffstat (limited to 'src/user/include/knob/quit.h')
| -rw-r--r-- | src/user/include/knob/quit.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/user/include/knob/quit.h b/src/user/include/knob/quit.h deleted file mode 100644 index 7b10d09..0000000 --- a/src/user/include/knob/quit.h +++ /dev/null @@ -1,7 +0,0 @@ -#ifndef KNOB_QUIT_H -#define KNOB_QUIT_H - -void on_quit(void (*run_f)()); -void quit() __attribute__ ((noreturn)); - -#endif
\ No newline at end of file |