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

#ifndef SBSA_H
#define SBSA_H

#include <stdint.h>

/* Register Offsets */
#define SBSA_WDOG_WCS_OFFSET		UL(0x000)
#define SBSA_WDOG_WOR_LOW_OFFSET	UL(0x008)
#define SBSA_WDOG_WOR_HIGH_OFFSET	UL(0x00C)

#define SBSA_WDOG_WCS_EN		U(0x1)

#define SBSA_WDOG_WOR_WIDTH		UL(48)

void sbsa_wdog_start(uintptr_t base, uint64_t ms);
void sbsa_wdog_stop(uintptr_t base);

#endif /* SBSA_H */