Searched defs:delegate_read_registers (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | component.debug.c | 166 void delegate_read_registers(seL4_Word tcb_cap, seL4_UserContext *registers) { function |
Completed in 30 milliseconds