1 /*
2  *  Copyright (C) 2012 Altera Corporation <www.altera.com>
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #ifndef _SOCFPGA_TIMER_H_
8 #define _SOCFPGA_TIMER_H_
9 
10 struct socfpga_timer {
11 	u32	load_val;
12 	u32	curr_val;
13 	u32	ctrl;
14 	u32	eoi;
15 	u32	int_stat;
16 };
17 
18 #endif
19