#ifndef _COUNTER_IO_CALLS_H_
#define _COUNTER_IO_CALLS_H_

#ifndef __KERNEL__
#include <stdint.h>
#define u64 uint64_t
#define u32 uint32_t
#endif

struct observation {
  u64 ts_sec;
  u64 ts_nsec;
  u32 value;
};




#endif /* _COUNTER_IO_CALLS_H_ */