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

/seL4-refos-master/libs/libsel4simple/include/simple/
H A Dsimple_helpers.h20 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos);
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple_helpers.h20 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos);
/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c15 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos) function
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c15 bool simple_is_untyped_cap(simple_t *simple, seL4_CPtr pos) function
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c512 if (pos == cnode || simple_is_untyped_cap(simple, pos)) continue;
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c512 if (pos == cnode || simple_is_untyped_cap(simple, pos)) continue;

Completed in 89 milliseconds