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

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c2266 static unsigned int echo_int_4_marshal_inputs_l(unsigned int _camkes_offset_295, argument
2278 if (!(!(_camkes_offset_295 + sizeof(*_camkes_ptr_297) >
2284 memcpy(_camkes_buffer_base_296 + _camkes_offset_295, _camkes_ptr_297,
2286 _camkes_offset_295 += sizeof(*_camkes_ptr_297);
2287 return _camkes_offset_295;

Completed in 35 milliseconds