| /* |
| * (C) Copyright 2007 Michal Simek |
| * |
| * Michal SIMEK <monstr@monstr.cz> |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #define TIMER_ENABLE_ALL 0x400 /* ENALL */ |
| #define TIMER_PWM 0x200 /* PWMA0 */ |
| #define TIMER_INTERRUPT 0x100 /* T0INT */ |
| #define TIMER_ENABLE 0x080 /* ENT0 */ |
| #define TIMER_ENABLE_INTR 0x040 /* ENIT0 */ |
| #define TIMER_RESET 0x020 /* LOAD0 */ |
| #define TIMER_RELOAD 0x010 /* ARHT0 */ |
| #define TIMER_EXT_CAPTURE 0x008 /* CAPT0 */ |
| #define TIMER_EXT_COMPARE 0x004 /* GENT0 */ |
| #define TIMER_DOWN_COUNT 0x002 /* UDT0 */ |
| #define TIMER_CAPTURE_MODE 0x001 /* MDT0 */ |
| |
| typedef volatile struct microblaze_timer_t { |
| int control; /* control/statuc register TCSR */ |
| int loadreg; /* load register TLR */ |
| int counter; /* timer/counter register */ |
| } microblaze_timer_t; |
| |
| int timer_init(void); |