| 
									
										
										
										
											2011-07-25 17:36:42 +01: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 12:40:59 -07:00
										 |  |  | extern void dw_apb_timer_init(void); | 
					
						
							| 
									
										
										
										
											2011-07-25 17:36:42 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | #endif /* __PICOXCELL_COMMON_H__ */
 |