diff options
| -rw-r--r-- | src/main_notify.c | 10 | ||||
| -rw-r--r-- | src/main_notify.h | 4 |
2 files changed, 0 insertions, 14 deletions
diff --git a/src/main_notify.c b/src/main_notify.c index e9552efbc..6a5ff484e 100644 --- a/src/main_notify.c +++ b/src/main_notify.c @@ -79,16 +79,6 @@ void wakeup_main_task(void) g_error("error writing to pipe: %s", strerror(errno)); } -void main_notify_lock(void) -{ - assert(main_task == g_thread_self()); -} - -void main_notify_unlock(void) -{ - assert(main_task == g_thread_self()); -} - void wait_main_task(void) { consume_pipe(); diff --git a/src/main_notify.h b/src/main_notify.h index 3b87cb1ab..a02564cc1 100644 --- a/src/main_notify.h +++ b/src/main_notify.h @@ -33,10 +33,6 @@ void wakeup_main_task(void); void wait_main_task(void); -void main_notify_lock(void); - -void main_notify_unlock(void); - void main_notify_triggered(void); |