Commit | Line | Data |
---|---|---|
af75655c JI |
1 | /* |
2 | * Copyright (c) 2011 Picochip Ltd., Jamie Iles | |
3 | * | |
4 | * This program is free software; you can redistribute it and/or modify | |
5 | * it under the terms of the GNU General Public License version 2 as | |
6 | * published by the Free Software Foundation. | |
7 | * | |
8 | * All enquiries to support@picochip.com | |
9 | */ | |
10 | #ifndef __PICOXCELL_COMMON_H__ | |
11 | #define __PICOXCELL_COMMON_H__ | |
12 | ||
13 | #include <asm/mach/time.h> | |
14 | ||
6bb27d73 | 15 | extern void dw_apb_timer_init(void); |
af75655c JI |
16 | |
17 | #endif /* __PICOXCELL_COMMON_H__ */ |