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

/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c20 seL4_CPtr ut_pos = simple_get_nth_untyped(simple, i, NULL, NULL, NULL); local
21 if (ut_pos == pos) {
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c20 seL4_CPtr ut_pos = simple_get_nth_untyped(simple, i, NULL, NULL, NULL); local
21 if (ut_pos == pos) {

Completed in 75 milliseconds