diff options
-rw-r--r-- | extras/mini-os/gnttab.c | 12 | ||||
-rw-r--r-- | extras/mini-os/include/gnttab.h | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/extras/mini-os/gnttab.c b/extras/mini-os/gnttab.c index a405e0c072..7f9f0096f1 100644 --- a/extras/mini-os/gnttab.c +++ b/extras/mini-os/gnttab.c @@ -137,6 +137,18 @@ gnttab_alloc_and_grant(void **map) return gref; } +static const char *gnttabop_error_msgs[] = GNTTABOP_error_msgs; + +const char * +gnttabop_error(int16_t status) +{ + status = -status; + if (status < 0 || status >= ARRAY_SIZE(gnttabop_error_msgs)) + return "bad status"; + else + return gnttabop_error_msgs[status]; +} + void init_gnttab(void) { diff --git a/extras/mini-os/include/gnttab.h b/extras/mini-os/include/gnttab.h index 65a02aa85f..f952442955 100644 --- a/extras/mini-os/include/gnttab.h +++ b/extras/mini-os/include/gnttab.h @@ -10,5 +10,6 @@ grant_ref_t gnttab_grant_access(domid_t domid, unsigned long frame, grant_ref_t gnttab_grant_transfer(domid_t domid, unsigned long pfn); unsigned long gnttab_end_transfer(grant_ref_t gref); int gnttab_end_access(grant_ref_t ref); +const char *gnttabop_error(int16_t status); #endif /* !__GNTTAB_H__ */ |