Searched refs:camkes_simple_data_t (Results 1 - 1 of 1) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c202 } camkes_simple_data_t; typedef in typeref:struct:camkes_simple_data
203 static camkes_simple_data_t simple_data;
216 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
242 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
286 camkes_simple_data_t *camkes = (camkes_simple_data_t *)data;
306 camkes_simple_data_t *camkes = (camkes_simple_data_t *)dat
[all...]

Completed in 33 milliseconds