/*
 * SPDX-License-Identifier: Apache-2.0
 *
 * Copyright (c) 2020-2021 Microchip Technology Inc
 */
#ifndef __RISCV64_MPFS_SOC_H_
#define __RISCV64_MPFS_SOC_H_

#include <soc_common.h>
#include <devicetree.h>


/* Timer configuration */
#define RISCV_MTIME_BASE				0x0200BFF8ULL
#define RISCV_MTIMECMP_BASE				(0x02004000ULL + (8ULL * 0))
#define RISCV_MTIMECMP_BY_HART(h)		(0x02004000ULL + (8ULL * (h)))
#define RISCV_MSIP_BASE					0x02000000

/* lib-c hooks required RAM defined variables */
#define RISCV_RAM_BASE					CONFIG_SRAM_BASE_ADDRESS
#define RISCV_RAM_SIZE					KB(CONFIG_SRAM_SIZE)

#endif /* __RISCV64_MPFS_SOC_H_ */