Searched refs:e_string_t (Results 1 – 16 of 16) sorted by relevance
22 e_string_t 052 e_string_t 182 e_string_t 2
50 e_string_t 0138 e_string_t 1226 e_string_t 2
170 export "DPI-C" function e_string_t; function370 function string_t e_string_t(); function372 e_string_t = n_string_t[0] ? "World" : "Hello";
330 if (strcmp(e_string_t(), "Hello") != 0) stop(); in check_exports()332 if (strcmp(e_string_t(), "World") != 0) stop(); in check_exports()
46 extern const char* e_string_t();
249 export "DPI-C" function e_string_t; function511 function void e_string_t(input string_t i); function
249 export "DPI-C" function e_string_t; function499 function void e_string_t(output string_t o); function
249 export "DPI-C" function e_string_t; function541 function void e_string_t(inout string_t x); function
58 extern void e_string_t(const char** x);
58 extern void e_string_t(const char** o);
58 extern void e_string_t(const char* i);
649 e_string_t((n % 2) ? "Hello" : "World"); in check_exports()
773 e_string_t(&x_string_t); in check_exports()
1045 e_string_t(&x_string_t); in check_exports()