44 lines
1.1 KiB
C
44 lines
1.1 KiB
C
/* SPDX-License-Identifier: GPL-2.0+ */
|
|
/*
|
|
* Copyright (C) 2011 DENX Software Engineering GmbH
|
|
* Heiko Schocher <hs@denx.de>
|
|
*/
|
|
#ifndef _TIMER_DEFS_H_
|
|
#define _TIMER_DEFS_H_
|
|
|
|
struct davinci_timer {
|
|
u_int32_t pid12;
|
|
u_int32_t emumgt;
|
|
u_int32_t na1;
|
|
u_int32_t na2;
|
|
u_int32_t tim12;
|
|
u_int32_t tim34;
|
|
u_int32_t prd12;
|
|
u_int32_t prd34;
|
|
u_int32_t tcr;
|
|
u_int32_t tgcr;
|
|
u_int32_t wdtcr;
|
|
};
|
|
|
|
#define DV_TIMER_TCR_ENAMODE_MASK 3
|
|
|
|
#define DV_TIMER_TCR_ENAMODE12_SHIFT 6
|
|
#define DV_TIMER_TCR_CLKSRC12_SHIFT 8
|
|
#define DV_TIMER_TCR_READRSTMODE12_SHIFT 10
|
|
#define DV_TIMER_TCR_CAPMODE12_SHIFT 11
|
|
#define DV_TIMER_TCR_CAPVTMODE12_SHIFT 12
|
|
#define DV_TIMER_TCR_ENAMODE34_SHIFT 22
|
|
#define DV_TIMER_TCR_CLKSRC34_SHIFT 24
|
|
#define DV_TIMER_TCR_READRSTMODE34_SHIFT 26
|
|
#define DV_TIMER_TCR_CAPMODE34_SHIFT 27
|
|
#define DV_TIMER_TCR_CAPEVTMODE12_SHIFT 28
|
|
|
|
#define DV_WDT_ENABLE_SYS_RESET 0x00020000
|
|
#define DV_WDT_TRIGGER_SYS_RESET 0x00020002
|
|
|
|
#ifdef CONFIG_HW_WATCHDOG
|
|
void davinci_hw_watchdog_enable(void);
|
|
void davinci_hw_watchdog_reset(void);
|
|
#endif
|
|
#endif /* _TIMER_DEFS_H_ */
|