diff options
Diffstat (limited to 'gdb/ser-event.h')
| -rw-r--r-- | gdb/ser-event.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/ser-event.h b/gdb/ser-event.h index 137348557f9..61a84f9cc79 100644 --- a/gdb/ser-event.h +++ b/gdb/ser-event.h @@ -19,6 +19,8 @@ #ifndef SER_EVENT_H #define SER_EVENT_H +#include <functional> + /* This is used to be able to signal the event loop (or any other select/poll) of events, in a race-free manner. @@ -48,4 +50,8 @@ extern void serial_event_set (struct serial_event *event); call is made. */ extern void serial_event_clear (struct serial_event *event); +/* Send a runnable to the main thread. */ + +extern void run_on_main_thread (std::function<void ()> &&); + #endif |