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);