diff options
Diffstat (limited to 'extras/mini-os/include')
| -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 e8de09f282..30a1c08143 100644 --- a/extras/mini-os/include/xenbus.h +++ b/extras/mini-os/include/xenbus.h @@ -91,6 +91,9 @@ char* xenbus_printf(xenbus_transaction_t xbt, const char* fmt, ...) __attribute__((__format__(printf, 4, 5))); +/* Utility function to figure out our domain id */ +domid_t xenbus_get_self_id(void); + /* Reset the XenBus system. */ void fini_xenbus(void); |