* Definitions for high resolution timers.
*/
+#if __LP64__
+#define TIMER_ALIGNMENT
+#else
+#define TIMER_ALIGNMENT __attribute__((packed, aligned(4)))
+#endif
+
struct timer {
uint64_t tstamp;
#if defined(__LP64__)
uint32_t high_bits;
uint32_t high_bits_check;
#endif /* !defined(__LP64__) */
-};
+} TIMER_ALIGNMENT;
typedef struct timer timer_data_t, *timer_t;