/*
 *
 *
 *  Created on: 15.04.2013
 *  @author Andrey Gazukin
 */
#ifndef __LINUX_TIME_H_
#define __LINUX_TIME_H_

#include <kernel/time/time.h>
#include <kernel/time/clock_source.h>

#define timestamp get_time

#endif /* __LINUX_TIME_H_ */
