Lines Matching defs:object
16 #include <vka/object.h>
19 * Mint an object cap across cspaces, allocating a new slot in the dest cspace.
21 * @param[in] src_vka the vka the object cap was allocated with.
28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge)
36 vka_cspace_make_path(src_vka, object->cptr, &src);
41 * Mint an object cap into a new cslot in the same cspace.
44 * @param[in] object target object for cap minting.
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result,
53 return vka_mint_object_inter_cspace(vka, object, vka, result, rights, badge);