Searched refs:k_ptr (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | jiraver443.c | 3788 int32_t *k_ptr = (get_echo_int_1_k_to()); local 3793 _camkes_size_467, i_ptr, j_ptr, k_ptr, l_ptr); 3802 *_camkes_ret_ptr_479 = RPCTo_echo_int_1(*i_ptr, *j_ptr, *k_ptr, *l_ptr); 4080 int *k_ptr = (get_echo_int_4_k_to()); local 4085 _camkes_size_467, i_ptr, j_ptr, k_ptr, l_ptr); 4094 *_camkes_ret_ptr_519 = RPCTo_echo_int_4(*i_ptr, *j_ptr, *k_ptr, *l_ptr);
|
Completed in 40 milliseconds