Searched refs:e_struct_2_state_64 (Results 1 – 14 of 14) sorted by relevance
62 e_struct_2_state_64 0150 e_struct_2_state_64 1238 e_struct_2_state_64 2
175 export "DPI-C" function e_struct_2_state_64; function258 function struct_2_state_64 e_struct_2_state_64(); return 0; endfunction function
265 export "DPI-C" function e_struct_2_state_64; function601 function void e_struct_2_state_64(input struct_2_state_64 i); function
265 export "DPI-C" function e_struct_2_state_64; function585 function void e_struct_2_state_64(output struct_2_state_64 o); function
265 export "DPI-C" function e_struct_2_state_64; function644 function void e_struct_2_state_64(inout struct_2_state_64 x); function
63 extern void e_struct_2_state_64(svBitVecVal* x);
63 extern void e_struct_2_state_64(svBitVecVal* o);
63 extern void e_struct_2_state_64(const svBitVecVal* i);
700 e_struct_2_state_64(b2); in check_exports()
825 e_struct_2_state_64(x_struct_2_state_64); in check_exports()
1125 e_struct_2_state_64(x_struct_2_state_64); in check_exports()
238 258 | function struct_2_state_64 e_struct_2_state_64(); return 0; endfunction