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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Diopt.c264 static int map_iopt_set(env_t env, seL4_CPtr iospace, seL4_CPtr *iopt_cptr, seL4_CPtr *frame) argument
266 int error = map_iopt_from_iospace(env, iospace, iopt_cptr, frame);

Completed in 74 milliseconds