|
@@ -71,9 +71,11 @@ static inline void local_tick_enable(unsigned long long comp)
|
|
|
|
|
|
typedef unsigned long long cycles_t;
|
|
|
|
|
|
-static inline void get_tod_clock_ext(char *clk)
|
|
|
+static inline void get_tod_clock_ext(char clk[16])
|
|
|
{
|
|
|
- asm volatile("stcke %0" : "=Q" (*clk) : : "cc");
|
|
|
+ typedef struct { char _[sizeof(clk)]; } addrtype;
|
|
|
+
|
|
|
+ asm volatile("stcke %0" : "=Q" (*(addrtype *) clk) : : "cc");
|
|
|
}
|
|
|
|
|
|
static inline unsigned long long get_tod_clock(void)
|