1 /* 2 * Spike machine interface 3 * 4 * Copyright (c) 2017 SiFive, Inc. 5 * 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. 9 * 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 13 * more details. 14 * 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/>. 17 */ 18 19 #ifndef HW_RISCV_SPIKE_H 20 #define HW_RISCV_SPIKE_H 21 22 #include "hw/boards.h" 23 #include "hw/riscv/riscv_hart.h" 24 #include "hw/sysbus.h" 25 26 #define SPIKE_CPUS_MAX 8 27 #define SPIKE_SOCKETS_MAX 8 28 29 #define TYPE_SPIKE_MACHINE MACHINE_TYPE_NAME("spike") 30 typedef struct SpikeState SpikeState; 31 DECLARE_INSTANCE_CHECKER(SpikeState, SPIKE_MACHINE, 32 TYPE_SPIKE_MACHINE) 33 34 struct SpikeState { 35 /*< private >*/ 36 MachineState parent; 37 38 /*< public >*/ 39 RISCVHartArrayState soc[SPIKE_SOCKETS_MAX]; 40 void *fdt; 41 int fdt_size; 42 }; 43 44 enum { 45 SPIKE_MROM, 46 SPIKE_HTIF, 47 SPIKE_CLINT, 48 SPIKE_DRAM 49 }; 50 51 #endif 52