diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-06-09 13:26:30 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-06-09 13:26:30 +0100 |
| commit | c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20 (patch) | |
| tree | ec2dc82b665f6046a46a4c90b5397fe51f17fac4 /extras/mini-os/include/gnttab.h | |
| parent | 0ba222a6fd5c72bda66eb3678c44fe3e43bbc6c0 (diff) | |
| download | xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.tar.gz xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.tar.bz2 xen-c68ffdc4fa75f9ed29ccdea16c9a910442e2fc20.zip | |
minios: add proper shutdown facilities
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
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__ */ |