2011-07-25 16:36:42 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2011 Picochip Ltd., Jamie Iles
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*
|
|
|
|
* All enquiries to support@picochip.com
|
|
|
|
*/
|
|
|
|
#ifndef __PICOXCELL_COMMON_H__
|
|
|
|
#define __PICOXCELL_COMMON_H__
|
|
|
|
|
|
|
|
#include <asm/mach/time.h>
|
|
|
|
|
2012-11-08 19:40:59 +00:00
|
|
|
extern void dw_apb_timer_init(void);
|
2011-07-25 16:36:42 +00:00
|
|
|
|
|
|
|
#endif /* __PICOXCELL_COMMON_H__ */
|