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