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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Diopt.c39 } iopt_cptrs_t; typedef in typeref:struct:iopt_cptrs
46 static int map_iopt_from_iospace(env_t env, seL4_CPtr iospace, iopt_cptrs_t *pts, seL4_CPtr *frame)
68 static int map_iopt_set(env_t env, seL4_CPtr *iospace, iopt_cptrs_t *pts, seL4_CPtr *frame)
98 iopt_cptrs_t pts;
112 iopt_cptrs_t pts;
144 iopt_cptrs_t pts;
163 iopt_cptrs_t pts;
191 iopt_cptrs_t pts;
211 iopt_cptrs_t pts;

Completed in 70 milliseconds