+#define nop asm volatile("nop" : : : "memory")
+#define read_barrier() asm volatile("bcr 15,0" : : : "memory")
+#define write_barrier() asm volatile("bcr 15,0" : : : "memory")
+
+static inline unsigned long long get_cpu_clock(void)
+{
+ unsigned long long clk;