diff options
Diffstat (limited to 'extras/mini-os/include')
| -rw-r--r-- | extras/mini-os/include/xenbus.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/mini-os/include/xenbus.h b/extras/mini-os/include/xenbus.h index b386592950..e8de09f282 100644 --- a/extras/mini-os/include/xenbus.h +++ b/extras/mini-os/include/xenbus.h @@ -88,7 +88,8 @@ int xenbus_read_integer(const char *path); /* Contraction of snprintf and xenbus_write(path/node). */ char* xenbus_printf(xenbus_transaction_t xbt, const char* node, const char* path, - const char* fmt, ...); + const char* fmt, ...) + __attribute__((__format__(printf, 4, 5))); /* Reset the XenBus system. */ void fini_xenbus(void); |