blob: 110e67e454cea6233f908113e6a97a368c36f86b [file] [log] [blame]
/* 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_ */