profiling_arch.h

#ifndef __PROFILING_ARCH_H__
#define __PROFILING_ARCH_H__
#include <stdint.h>

#define ARCHADDR2ADDR(x) (void *)((unsigned int)x<<1)

#endif /* __PROFILING_ARCH_H__ */