diff options
Diffstat (limited to 'src/grt/grt.ver')
-rw-r--r-- | src/grt/grt.ver | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/grt/grt.ver b/src/grt/grt.ver index e46856fc7..3a414d4c9 100644 --- a/src/grt/grt.ver +++ b/src/grt/grt.ver @@ -22,6 +22,39 @@ vpi_remove_cb; vpi_scan; vpi_vprintf; vpi_printf; +vhpi_register_cb; +vhpi_remove_cb; +vhpi_disable_cb; +vhpi_enable_cb; +vhpi_get_cb_info; +vhpi_handle_by_name; +vhpi_handle_by_index; +vhpi_handle; +vhpi_iterator; +vhpi_scan; +vhpi_get; +vhpi_get_str; +vhpi_get_real; +vhpi_get_phys; +vhpi_protected_call; +vhpi_get_value; +vhpi_put_value; +vhpi_schedule_transaction; +vhpi_format_value; +vhpi_get_time; +vhpi_get_next_time; +vhpi_control; +vhpi_printf; +vhpi_vprintf; +vhpi_is_printable; +vhpi_compare_handles; +vhpi_check_error; +vhpi_release_handle; +vhpi_create; +vhpi_register_foreignf; +vhpi_get_foreignf_info; +vhpi_get_data; +vhpi_put_data; local: *; }; |