Searched refs:test_cnode_mint (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dcnodeops.c89 test_cnode_mint(env_t env) function
115 DEFINE_TEST(CNODEOP0003, "Basic seL4_CNode_Mint() testing", test_cnode_mint, true)

Completed in 22 milliseconds