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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDBMem-to.template.c33 seL4_Word delegate_tcb; local
36 seL4_Recv(/*? mem_ep ?*/, &delegate_tcb);
37 seL4_TCB_ReadRegisters(delegate_tcb, false, 0,
48 seL4_TCB_WriteRegisters(delegate_tcb, false, 0,

Completed in 32 milliseconds