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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c512 void *ipc_buf_ptr = (void *) /*? macros.ipc_buffer_address(threads[0].ipc_symbol) ?*/; local
513 camkes_start_control(thread_id, ipc_buf_ptr);

Completed in 33 milliseconds