Commit e9f2b41d authored by Josh Kunz's avatar Josh Kunz

Change get/set owner to follow conventions + add exports

Changes the owner getters and setters to follow the (better) convention
the metadata getters and setters set.

Also adds `revoke_till` as an export symbol.
parent a9aff4ed
......@@ -293,10 +293,10 @@ int cap_init_cspace(struct cspace *cspace)
}
#endif
inline void cap_cspace_setowner(struct cspace *cspace, void * owner) {
inline void cap_cspace_set_owner(struct cspace *cspace, void * owner) {
cspace->owner = owner;
}
inline void* cap_cspace_getowner(struct cspace *cspace) { return cspace->owner; }
inline void* cap_cspace_owner(struct cspace *cspace) { return cspace->owner; }
static int update_cnode_table(struct cspace *cspace,
struct cnode_table *old, unsigned long level_id,
......@@ -1423,8 +1423,8 @@ EXPORT_SYMBOL(cap_register_private_type);
EXPORT_SYMBOL(cap_alloc_cspace);
EXPORT_SYMBOL(cap_free_cspace);
EXPORT_SYMBOL(cap_destroy_cspace);
EXPORT_SYMBOL(cap_cspace_setowner);
EXPORT_SYMBOL(cap_cspace_getowner);
EXPORT_SYMBOL(cap_cspace_set_owner);
EXPORT_SYMBOL(cap_cspace_owner);
EXPORT_SYMBOL(cap_cnode_get);
EXPORT_SYMBOL(cap_cnode_put);
EXPORT_SYMBOL(cap_cnode_object);
......@@ -1438,6 +1438,7 @@ EXPORT_SYMBOL(cap_insert);
EXPORT_SYMBOL(cap_delete);
EXPORT_SYMBOL(cap_grant);
EXPORT_SYMBOL(cap_revoke);
EXPORT_SYMBOL(cap_revoke_till);
#ifdef CAP_ENABLE_GLOBAL_TYPES
EXPORT_SYMBOL(cap_init_cspace);
EXPORT_SYMBOL(cap_register_type);
......
......@@ -342,15 +342,15 @@ void cap_free_cspace(struct cspace *cspace);
* cap_cspace_setowner -- Set the "owner" field of the given cspace
*
* This can be any object you wish. You will be able to access it
* via cap_cspace_getowner (perhaps it would be convenient for you
* via cap_cspace_owner (perhaps it would be convenient for you
* to do so in one of the cap type ops, provide some kind of
* context for the cspace).
*/
void cap_cspace_setowner(struct cspace *cspace, void * owner);
void cap_cspace_set_owner(struct cspace *cspace, void * owner);
/**
* cap_cspace_getowner -- Get the "owner" field of the given cspace
* cap_cspace_owner -- Get the "owner" field of the given cspace
*/
void* cap_cspace_getowner(struct cspace *cspace);
void* cap_cspace_owner(struct cspace *cspace);
/**
* cap_cspace_get_type_system -- Returns a pointer to the type system
* that was attached to the cspace when it
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment