2 * Spike machine interface
4 * Copyright (c) 2017 SiFive, Inc.
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms and conditions of the GNU General Public License,
8 * version 2 or later, as published by the Free Software Foundation.
10 * This program is distributed in the hope it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 * You should have received a copy of the GNU General Public License along with
16 * this program. If not, see <http://www.gnu.org/licenses/>.
19 #ifndef HW_RISCV_SPIKE_H
20 #define HW_RISCV_SPIKE_H
22 #include "hw/riscv/riscv_hart.h"
23 #include "hw/sysbus.h"
27 SysBusDevice parent_obj
;
30 RISCVHartArrayState soc
;
41 #if defined(TARGET_RISCV32)
42 #define SPIKE_V1_10_0_CPU TYPE_RISCV_CPU_BASE32
43 #elif defined(TARGET_RISCV64)
44 #define SPIKE_V1_10_0_CPU TYPE_RISCV_CPU_BASE64