Commit d2d591e0 authored by Josh Kunz's avatar Josh Kunz

Add public function to get cnode's cspace

Needed for CapNet's cn_objref_principal function that is needed for a
correct implementation of rendezvous points.
parent 51260c12
Pipeline #358 passed with stage
......@@ -210,6 +210,11 @@ void* cap_cnode_object(struct cnode *cnode);
cap_type_t cap_cnode_type(struct cnode *cnode);
* Get the cspace this cnode is in.
struct cspace * cap_cnode_cspace(struct cnode *cnode);
* For now, put debug macros in the user-accessible part; convenient.
......@@ -451,6 +451,7 @@ void cap_cnode_put(struct cnode *cnode)
void* cap_cnode_object(struct cnode *cnode) { return cnode->object; }
cap_type_t cap_cnode_type(struct cnode *cnode) { return cnode->type; }
struct cspace * cap_cnode_cspace(struct cnode *cnode) { return cnode->cspace; }
int cap_cnode_verify(struct cspace *cspace, cptr_t c)
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