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

/seL4-refos-master/libs/libsel4debug/include/sel4debug/
H A Didentity.h24 void debug_set_id_fn(const char * (*fn)(void));
/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Didentity.h24 void debug_set_id_fn(const char * (*fn)(void));
/seL4-refos-master/libs/libsel4debug/src/
H A Didentity.c26 void debug_set_id_fn(const char * (*fn)(void)) function
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Didentity.c26 void debug_set_id_fn(const char * (*fn)(void)) function

Completed in 82 milliseconds