/*
 * arch/arm/mach-spear3xx/include/mach/timex.h
 *
 * SPEAr3XX machine family specific timex definitions
 *
 * Copyright (C) 2012 ST Microelectronics
 * Viresh Kumar <viresh.linux@gmail.com>
 *
 * This file is licensed under the terms of the GNU General Public
 * License version 2. This program is licensed "as is" without any
 * warranty of any kind, whether express or implied.
 */

#ifndef __MACH_TIMEX_H
#define __MACH_TIMEX_H

#include <plat/timex.h>

#endif /* __MACH_TIMEX_H */
