/*
 * arch/arm/mach-spear3xx/include/mach/timex.h
 *
 * SPEAr3XX machine family specific timex definitions
 *
 * Copyright (C) 2009 ST Microelectronics
 * Viresh Kumar<viresh.kumar@st.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 */