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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.c142 int cnode_savecaller(env_t env, seL4_CPtr cap) function

Completed in 29 milliseconds