  {
  	unsigned maxtries = 10; /* wait for maxtries jiffies at maximum */
  
-@@ -50,25 +50,185 @@
- 	if (!(readl(SYS_CTRL_PCI_STAT) & (1UL << SYSCTL_PCI_STAT_SYSPCI_STATIC_GNT)))
+@@ -51,12 +52,14 @@
  		printk(KERN_WARNING "%s: timeout requesting access to PCI bus for static memory interface\n",  __func__);
  
--	request_pci_timestamp = ktime_get();
-+	request_pci_timestamp = jiffies_to_msecs(get_jiffies_64());
+ 	request_pci_timestamp = ktime_get();
 +
 +    return ( 0 != ( readl(SYS_CTRL_PCI_STAT) & (1UL << SYSCTL_PCI_STAT_SYSPCI_STATIC_GNT) ) ? 0 : 1 );
  }

 #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;
 /*
  * Request PCI_ARB to grant access to the STATIC core.
  */

+void hipox_smc_request_pci_ad_31_0( void );
 
 #endif // __ASM_ARCH_SMC_H
