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

/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dcaps.c19 void debug_cap_identify(seL4_CPtr cap) function
/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Ddebug.h28 void debug_cap_identify(seL4_CPtr cap);

Completed in 16 milliseconds