diff options
Diffstat (limited to 'extras/mini-os/include/xenbus.h')
-rw-r--r-- | extras/mini-os/include/xenbus.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/mini-os/include/xenbus.h b/extras/mini-os/include/xenbus.h index 2ed370f252..f1585c9f70 100644 --- a/extras/mini-os/include/xenbus.h +++ b/extras/mini-os/include/xenbus.h @@ -90,4 +90,7 @@ char* xenbus_printf(xenbus_transaction_t xbt, char* node, char* path, char* fmt, ...); +/* Reset the XenBus system. */ +void fini_xenbus(void); + #endif /* XENBUS_H__ */ |