+# SPDX-License-Identifier: GPL-2.0-or-later
+
adapter driver jtag_vpi
# Set the VPI JTAG server port
set _VPI_ADDRESS "127.0.0.1"
}
-jtag_vpi_set_port $_VPI_PORT
-jtag_vpi_set_address $_VPI_ADDRESS
+jtag_vpi set_port $_VPI_PORT
+jtag_vpi set_address $_VPI_ADDRESS