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

/seL4-refos-master/libs/libsel4debug/include/sel4debug/
H A Dregister_dump.h18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Dregister_dump.h18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
/seL4-refos-master/libs/libsel4debug/src/
H A Dregister_dump.c22 sel4debug_dump_registers_prefix(tcb, "");
25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) function
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dregister_dump.c22 sel4debug_dump_registers_prefix(tcb, "");
25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) function

Completed in 76 milliseconds