Lines Matching refs:src
27 static inline int vka_cnode_saveCaller(const cspacepath_t *src)
30 /* _service */ src->root,
31 /* index */ src->capPtr,
32 /* depth */ src->capDepth
37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights)
43 /* src_root */ src->root,
44 /* src_index */ src->capPtr,
45 /* src_depth */ src->capDepth,
50 static inline int vka_cnode_delete(const cspacepath_t *src)
53 /* _service */ src->root,
54 /* index */ src->capPtr,
55 /* depth */ src->capDepth
59 static inline int vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src,
66 /* src_root */ src->root,
67 /* src_index */ src->capPtr,
68 /* src_depth */ src->capDepth,
74 static inline int vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src)
80 /* src_root */ src->root,
81 /* src_index */ src->capPtr,
82 /* src_depth */ src->capDepth
86 static inline int vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src,
93 /* src_root */ src->root,
94 /* src_index */ src->capPtr,
95 /* src_depth */ src->capDepth,
100 static inline int vka_cnode_cancelBadgedSends(const cspacepath_t *src)
103 /* _service */ src->root,
104 /* index */ src->capPtr,
105 /* depth */ src->capDepth
109 static inline int vka_cnode_revoke(const cspacepath_t *src)
112 /* _service */ src->root,
113 /* index */ src->capPtr,
114 /* depth */ src->capDepth
119 seL4_Word pivot_badge, const cspacepath_t *src)
123 src->root, src->capPtr, src->capDepth);