diff options
Diffstat (limited to 'extras/mini-os/include/gnttab.h')
| -rw-r--r-- | extras/mini-os/include/gnttab.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/gnttab.h b/extras/mini-os/include/gnttab.h index f952442955..acd6c39f8c 100644 --- a/extras/mini-os/include/gnttab.h +++ b/extras/mini-os/include/gnttab.h @@ -11,5 +11,6 @@ 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); +void fini_gnttab(void); #endif /* !__GNTTAB_H__ */ |