#ifndef HW_RISCV_SPIKE_H
#define HW_RISCV_SPIKE_H

void spike_v1_10_0_machine_init_register_types(struct uc_struct *uc);

#endif /* HW_RISCV_SPIKE_H */