#define ARM_VE_DAUGHTERBOARD_1_SITE 1\r
#define ARM_VE_DAUGHTERBOARD_2_SITE 2\r
\r
+#define VIRTUAL_SYS_CFG(site,func) (((site) << 24) | (func))\r
+\r
+//\r
+// System Configuration Control Functions\r
+//\r
+#define SYS_CFG_OSC 1\r
+#define SYS_CFG_VOLT 2\r
+#define SYS_CFG_AMP 3\r
+#define SYS_CFG_TEMP 4\r
+#define SYS_CFG_RESET 5\r
+#define SYS_CFG_SCC 6\r
+#define SYS_CFG_MUXFPGA 7\r
+#define SYS_CFG_SHUTDOWN 8\r
+#define SYS_CFG_REBOOT 9\r
+#define SYS_CFG_DVIMODE 11\r
+#define SYS_CFG_POWER 12\r
+// Oscillator for Site 1\r
+#define SYS_CFG_OSC_SITE1 VIRTUAL_SYS_CFG(ARM_VE_DAUGHTERBOARD_1_SITE,SYS_CFG_OSC)\r
+// Oscillator for Site 2\r
+#define SYS_CFG_OSC_SITE2 VIRTUAL_SYS_CFG(ARM_VE_DAUGHTERBOARD_2_SITE,SYS_CFG_OSC)\r
+// Can not access the battery backed-up hardware clock on the Versatile Express motherboard\r
+#define SYS_CFG_RTC VIRTUAL_SYS_CFG(ARM_VE_UNSUPPORTED,1)\r
+\r
#endif /* VEXPRESSMOTHERBOARD_H_ */\r