Searched defs:delegate_write_memory (Results 1 - 1 of 1) sorted by last modified time
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
| H A D | component.debug.c | 152 int delegate_write_memory(seL4_Word addr, seL4_Word length, delegate_mem_range_t data) { function |
Completed in 37 milliseconds