/*
|
* (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);
|
