Searched refs:receive_init_data (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/ | ||
H A D | simple.c | 152 receive_init_data(seL4_CPtr endpoint) function 217 init_data_t *init_data = receive_init_data(endpoint); |
Completed in 58 milliseconds