/*
 * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef __SP805_H__
#define __SP805_H__

/* SP805 register offset */
#define SP805_WDOG_LOAD_OFF		0x000
#define SP805_WDOG_CTR_OFF		0x008
#define SP805_WDOG_LOCK_OFF		0xc00

/* Magic word to unlock the wd registers */
#define WDOG_UNLOCK_KEY			0x1ACCE551

/* Register field definitions */
#define SP805_CTR_RESEN			(1 << 1)
#define SP805_CTR_INTEN			(1 << 0)

#ifndef __ASSEMBLY__

#include <stdint.h>

/* Public high level API */

void sp805_start(uintptr_t base, unsigned long ticks);
void sp805_stop(uintptr_t base);
void sp805_refresh(uintptr_t base, unsigned long ticks);

#endif /* __ASSEMBLY__ */

#endif /* __SP805_H__ */