Searched refs:e_int_t (Results 1 – 12 of 12) sorted by relevance
159 export "DPI-C" function e_int_t; function323 function int_t e_int_t(); function324 e_int_t = 32'd50 + n_int_t;
30 extern int e_int_t();
318 if (e_int_t() != 50 + 2 * n) stop(); in check_exports()
234 export "DPI-C" function e_int_t; function446 function void e_int_t(input int_t i); function
234 export "DPI-C" function e_int_t; function438 function void e_int_t(output int_t o); function
234 export "DPI-C" function e_int_t; function467 function void e_int_t(inout int_t x); function
40 extern void e_int_t(int* x);
40 extern void e_int_t(int* o);
40 extern void e_int_t(int i);
631 e_int_t(50 + 2 * n); in check_exports()
738 e_int_t(&x_int_t); in check_exports()
997 e_int_t(&x_int_t); in check_exports()