diff options
author | Neal H. Walfield <neal@gnu.org> | 2008-12-17 18:45:14 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2008-12-17 18:45:14 +0100 |
commit | 4b34130b861911b2fbc62e706239d55ce817d203 (patch) | |
tree | 0fb7f4a87b0813e7884b86b7a0a7390265083a2d /libhurd-mm/capalloc.h | |
parent | a7416b7c63f4954ff78eecf31e5146cb86cda6a6 (diff) |
Add a "vg_" to public viengoos identifiers.
2008-12-17 Neal H. Walfield <neal@gnu.org>
* viengoos/activity.h: Add a "vg_" to public viengoos identifiers.
Update users.
* viengoos/addr-trans.h: Likewise.
* viengoos/addr.h: Likewise.
* viengoos/cap.h: Likewise.
* viengoos/folio.h: Likewise.
* viengoos/futex.h: Likewise.
* viengoos/rpc.h: Likewise.
* viengoos/thread.h: Likewise.
Diffstat (limited to 'libhurd-mm/capalloc.h')
-rw-r--r-- | libhurd-mm/capalloc.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libhurd-mm/capalloc.h b/libhurd-mm/capalloc.h index 5583f3f..f71e032 100644 --- a/libhurd-mm/capalloc.h +++ b/libhurd-mm/capalloc.h @@ -25,9 +25,9 @@ #include <viengoos/addr.h> /* Allocate a capability slot. */ -extern addr_t capalloc (void); +extern vg_addr_t capalloc (void); /* Free a capability previously allocated by capalloc. */ -extern void capfree (addr_t cap); +extern void capfree (vg_addr_t vg_cap); #endif /* _HURD_CAP_ALLOC_H */ |