diff options
Diffstat (limited to 'extras/mini-os/gnttab.c')
| -rw-r--r-- | extras/mini-os/gnttab.c | 12 |
1 files changed, 12 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) { |