--- 8139too.c.orig	2004-03-09 09:50:03.000000000 +0000
+++ 8139too.c	2004-03-09 11:35:36.000000000 +0000
@@ -130,13 +130,15 @@
 /* enable PIO instead of MMIO, if CONFIG_8139TOO_PIO is selected */
 #ifdef CONFIG_8139TOO_PIO
 #define USE_IO_OPS 1
+#elif defined XEN 
+#define USE_IO_OPS 1
 #endif
 
 /* define to 1 to enable copious debugging info */
-#undef RTL8139_DEBUG
+#define RTL8139_DEBUG 1
 
 /* define to 1 to disable lightweight runtime debugging checks */
-#undef RTL8139_NDEBUG
+#define RTL8139_NDEBUG 1
 
 #undef DPRINTK
 
@@ -885,8 +887,8 @@
 		}
 
 	/* if unknown chip, assume array element #0, original RTL-8139 in this case */
-	printk (KERN_DEBUG PFX "%s: unknown chip version, assuming RTL-8139\n",
-		pdev->slot_name);
+	printk (KERN_DEBUG PFX "%s: unknown chip version 0x%x), assuming RTL-8139\n",
+		pdev->slot_name, tmp);
 	printk (KERN_DEBUG PFX "%s: TxConfig = 0x%lx\n", pdev->slot_name, RTL_R32 (TxConfig));
 	tp->chipset = 0;