diff options
Diffstat (limited to 'src/grt/grt.ver')
-rw-r--r-- | src/grt/grt.ver | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/grt/grt.ver b/src/grt/grt.ver new file mode 100644 index 0000000..031c207 --- /dev/null +++ b/src/grt/grt.ver @@ -0,0 +1,25 @@ +{ + 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: + *; +}; + |