fixed driver unrsolved dependencies

driver/common/vx_utils.cpp

@@ -91,7 +91,7 @@ extern int vx_upload_kernel_file(vx_device_h device, const char* filename) {
   return err;
 }
 
-extern int vx_get_perf(vx_device_h device, uint64_t* cycles, uint64_t* instrs) {
+extern int vx_get_perf(vx_device_h device, size_t* cycles, size_t* instrs) {
   int ret = 0;
 
   unsigned value;

driver/include/vortex.h

@@ -72,7 +72,7 @@ int vx_upload_kernel_bytes(vx_device_h device, const void* content, size_t size)
 int vx_upload_kernel_file(vx_device_h device, const char* filename);
 
 // get performance counters
-int vx_get_perf(vx_device_h device, uint64_t* cycles, uint64_t* instrs);
+int vx_get_perf(vx_device_h device, size_t* cycles, size_t* instrs);
 
 #ifdef __cplusplus
 }

driver/rtlsim/vortex.cpp

@@ -323,3 +323,11 @@ extern int vx_ready_wait(vx_device_h hdevice, long long timeout) {
 
     return device->wait(timeout);
 }
+
+extern int vx_csr_set(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned /*value*/) {
+    return -1;
+}
+
+extern int vx_csr_get(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned* /*value*/) {
+    return -1;
+}

driver/simx/vortex.cpp

@@ -357,3 +357,11 @@ extern int vx_ready_wait(vx_device_h hdevice, long long timeout) {
 
     return device->wait(timeout);
 }
+
+extern int vx_csr_set(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned /*value*/) {
+    return -1;
+}
+
+extern int vx_csr_get(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned* /*value*/) {
+    return -1;
+}

driver/stub/vortex.cpp

@@ -47,3 +47,11 @@ extern int vx_start(vx_device_h /*hdevice*/) {
 extern int vx_ready_wait(vx_device_h /*hdevice*/, long long /*timeout*/) {
     return -1;
 }
+
+extern int vx_csr_set(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned /*value*/) {
+    return -1;
+}
+
+extern int vx_csr_get(vx_device_h /*hdevice*/, int /*core*/, int /*address*/, unsigned* /*value*/) {
+    return -1;
+}