/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __ASMARM_SMP_TWD_H
#define __ASMARM_SMP_TWD_H

#define TWD_TIMER_LOAD   0x00
#define TWD_TIMER_COUNTER  0x04
#define TWD_TIMER_CONTROL  0x08
#define TWD_TIMER_INTSTAT  0x0C

#define TWD_WDOG_LOAD   0x20
#define TWD_WDOG_COUNTER  0x24
#define TWD_WDOG_CONTROL  0x28
#define TWD_WDOG_INTSTAT  0x2C
#define TWD_WDOG_RESETSTAT  0x30
#define TWD_WDOG_DISABLE  0x34

#define TWD_TIMER_CONTROL_ENABLE (1 << 0)
#define TWD_TIMER_CONTROL_ONESHOT (0 << 1)
#define TWD_TIMER_CONTROL_PERIODIC (1 << 1)
#define TWD_TIMER_CONTROL_IT_ENABLE (1 << 2)

#endif