Searched defs:tcb_cap (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | tls.h | 28 seL4_CPtr tcb_cap; member in struct:camkes_tls_t
|
| /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) { argument
173 void delegate_read_register(seL4_Word tcb_cap, seL4_Word *reg, seL4_Word reg_num) { argument
185 int delegate_write_registers(seL4_Word tcb_cap, seL4_UserContext registers, int len) { argument
203 int delegate_write_register(seL4_Word tcb_cap, seL4_Word data, seL4_Word reg_num) { argument
219 delegate_insert_break(seL4_Word tcb_cap, seL4_Word type, seL4_Word addr, seL4_Word size, seL4_Word rw) argument
245 delegate_remove_break(seL4_Word tcb_cap, seL4_Word type, seL4_Word addr, seL4_Word size, seL4_Word rw) argument
269 delegate_resume(seL4_Word tcb_cap) argument
283 delegate_step(seL4_Word tcb_cap) argument
[all...] |
Completed in 27 milliseconds