  #include <asm/arch/smc.h>
  #include <linux/delay.h>
  #include <linux/jiffies.h>
- #include <linux/module.h>
--#include <linux/hrtimer.h>
- 
--static ktime_t request_pci_timestamp = {0};
-+static unsigned int request_pci_timestamp = 0;
+@@ -30,7 +31,7 @@
  /*
   * Request PCI_ARB to grant access to the STATIC core.
   */

     pci_common_init(&hipox_pci);
 	return 0;
 }
--- old/arch/arm/mach-hipox/smc.c	2011-05-16 11:00:09.165565000 +0200
+++ new/arch/arm/mach-hipox/smc.c	2011-05-19 16:17:55.335565001 +0200
@@ -20,17 +20,17 @@
 
 #include <asm/io.h>
 #include <asm/hardware.h>

-void hipox_smc_release_pci_ad_31_0(void)
+static void _hipox_smc_release_pci_ad_31_0(void)
 {
 	const s64 timeout = 400; /* us */  
 	s64 delta = ktime_us_delta(ktime_get(), request_pci_timestamp);
@@ -70,5 +73,163 @@
 	}
 }
 
