diff options
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 */ |