Searched defs:frame_path (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c28 cspacepath_t frame_path; local
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dframes.c245 cspacepath_t frame_path; local
281 cspacepath_t frame_path; local
323 cspacepath_t frame_path; local

Completed in 84 milliseconds