Searched defs:vka_cnode_move (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ | ||
H A D | capops.h | 74 static inline int vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) function |
Completed in 74 milliseconds