/*
 * 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 <zephyr/devicetree.h>


#define RISCV_MSIP_BASE					0x02000000

#endif /* __RISCV64_MPFS_SOC_H_ */