Searched defs:cnode_move (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.c100 int cnode_move(env_t env, seL4_CPtr src, seL4_CPtr dest) function

Completed in 73 milliseconds