Index: firmware/App/Drivers/CPLD.c
===================================================================
diff -u -r40bcef6aa65af6c93ce937c6c4aa2de13e8a78d3 -r777faf1846c8cec0769db41d4a4241ed3819f1d0
--- firmware/App/Drivers/CPLD.c	(.../CPLD.c)	(revision 40bcef6aa65af6c93ce937c6c4aa2de13e8a78d3)
+++ firmware/App/Drivers/CPLD.c	(.../CPLD.c)	(revision 777faf1846c8cec0769db41d4a4241ed3819f1d0)
@@ -22,6 +22,12 @@
 #include "WatchdogMgmt.h"
 #include "CPLD.h"
 
+#ifdef _VECTORCAST_
+    static mibspiBASE_t spi5;
+    #undef mibspiREG5
+    #define mibspiREG5 ((mibspiBASE_t *)&spi5)
+#endif
+
 // ********** private definitions **********
 
 // GIO port A pin assignments for pins connected to CPLD