| /* | |
| * 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_ */ |