From 4ba5d6d93194753c23f0d999ccf156dee2522fc3 Mon Sep 17 00:00:00 2001
From: Michael Gernoth 
Date: Sat, 22 May 2010 13:22:00 +0200
Subject: [PATCH] support for ISE 12
---
 index.html   | 3 +++
 usb-driver.c | 8 ++++++++
 2 files changed, 11 insertions(+)
diff --git a/index.html b/index.html
index 8861ba6..ae82464 100644
--- a/index.html
+++ b/index.html
@@ -58,6 +58,9 @@
 			To fix this, run the following command as root:
 			sed -i -e 's/TEMPNODE/tempnode/' -e 's/SYSFS/ATTRS/g' -e 's/BUS/SUBSYSTEMS/' /etc/udev/rules.d/xusbdfwu.rules
 			You may have to reboot for this change to take effect.
+
+			2010-05-22: Support for ISE 12 is now available in the driver, the presence of "windrvr6"
+			is recognized again.
 		
 		
 		Supported Cables
diff --git a/usb-driver.c b/usb-driver.c
index 264366b..504a278 100644
--- a/usb-driver.c
+++ b/usb-driver.c
@@ -672,3 +672,11 @@ int uname (struct utsname *__name) {
 	return ret;
 }
 #endif
+
+/* Ugly hack for ISE 12. They don't seem to open /proc/modules with
+ * open() anymore... */
+int _Z14isModuleLoadedPci(void) {
+	DPRINTF("Faking _Z14isModuleLoadedPci\n");
+
+	return 1;
+}
-- 
2.47.3