Home
last modified time | relevance | path

Searched refs:parent_cspace (Results 1 – 2 of 2) sorted by relevance

/hyp/interfaces/cspace/include/
A Dcspace.h35 cspace_copy_cap(cspace_t *target_cspace, cspace_t *parent_cspace,
/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c631 cspace_copy_cap(cspace_t *target_cspace, cspace_t *parent_cspace, in cspace_copy_cap() argument
651 err = cspace_lookup_cap_slot(parent_cspace, parent_id, &parent_cap); in cspace_copy_cap()

Completed in 23 milliseconds