#ifndef SOCKS_TYPES_H_
#define SOCKS_TYPES_H_

#include <stdint.h>

#define CYCLES_MAX UINT64_MAX

typedef uintptr_t phys_addr_t;
typedef uint64_t cycles_t;
typedef uint64_t sectors_t;

typedef unsigned int umode_t;

#endif