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