Searched refs:__bld_vpi_argv (Results 1 – 3 of 3) sorted by relevance
342 extern void __bld_vpi_argv(void);788 if (__vpi_argv == NULL) __bld_vpi_argv(); in acc_fetch_argc()801 if (__vpi_argv == NULL) __bld_vpi_argv(); in acc_fetch_argv()
265 extern void __bld_vpi_argv(void);6628 if (__vpi_argv == NULL) __bld_vpi_argv(); in vpi_get_vlog_info()
6044 extern void __bld_vpi_argv(void) in __bld_vpi_argv() function