__vpi_argc (reference) in projects: dports

157 int32 __vpi_argc;      /* global arg count for vpi */  variable
1023  __vpi_argc = 0;  in __dig_main()

6105  __vpi_argc = argnum + 1;  in __bld_vpi_argv()
6106  nbytes = __vpi_argc*(sizeof(char **));  in __bld_vpi_argv()

789  return(__vpi_argc);   in acc_fetch_argc()

/dports/cad/gplcver/gplcver-2.12a.src/src/
H A D	cver.c	`157 int32 __vpi_argc; /* global arg count for vpi */ variable 1023 __vpi_argc = 0; in __dig_main()`
H A D	v.h	`3016 extern int32 __vpi_argc; /* global arg count for vpi */`
H A D	v_cnv.c	`6105 __vpi_argc = argnum + 1; in __bld_vpi_argv() 6106 nbytes = __vpi_argc(sizeof(char *)); in __bld_vpi_argv()`
H A D	v_vpi3.c	`6630 vlog_info_p->argc = __vpi_argc; in vpi_get_vlog_info()`
H A D	v_acc.c	`789 return(__vpi_argc); in acc_fetch_argc()`