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

#ifndef SBSA_H
#define SBSA_H

#include <stdint.h>

/* SBSA Secure Watchdog Register Offsets */
/* Refresh frame */
#define SBSA_WDOG_WRR_OFFSET		UL(0x000)
#define SBSA_WDOG_WRR_REFRESH		UL(0x1)

/* Control and status frame */
#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);
void sbsa_wdog_refresh(uintptr_t refresh_base);

#endif /* SBSA_H */