diff options
Diffstat (limited to 'translate/grt/grt.ver')
-rw-r--r-- | translate/grt/grt.ver | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/translate/grt/grt.ver b/translate/grt/grt.ver new file mode 100644 index 0000000..2770d8e --- /dev/null +++ b/translate/grt/grt.ver @@ -0,0 +1,25 @@ +VERSION { + global: +vpi_free_object; +vpi_get; +vpi_get_str; +vpi_get_time; +vpi_get_value; +vpi_get_vlog_info; +vpi_handle; +vpi_handle_by_index; +vpi_iterate; +vpi_mcd_close; +vpi_mcd_name; +vpi_mcd_open; +vpi_put_value; +vpi_register_cb; +vpi_register_systf; +vpi_remove_cb; +vpi_scan; +vpi_vprintf; +vpi_printf; + local: + *; +}; + |