diff options
Diffstat (limited to 'extras/mini-os/include/events.h')
| -rw-r--r-- | extras/mini-os/include/events.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h index ff202e38fe..9ffb35d320 100644 --- a/extras/mini-os/include/events.h +++ b/extras/mini-os/include/events.h @@ -45,5 +45,6 @@ static inline int notify_remote_via_evtchn(evtchn_port_t port) return HYPERVISOR_event_channel_op(EVTCHNOP_send, &op); } +void fini_events(void); #endif /* _EVENTS_H_ */ |