#define FW_CFG_DMA_CTL_SELECT BIT3\r
#define FW_CFG_DMA_CTL_WRITE BIT4\r
\r
+//\r
+// The fw_cfg registers can be found at these IO Ports, on the IO-mapped\r
+// platforms (Ia32 and X64).\r
+//\r
+#define FW_CFG_IO_SELECTOR 0x510\r
+#define FW_CFG_IO_DATA 0x511\r
+#define FW_CFG_IO_DMA_ADDRESS 0x514\r
+\r
//\r
// Numerically defined keys.\r
//\r