serialize simulator on wfi

[riscv-isa-sim.git] / riscv / insns / wfi.h

set_pc_and_serialize(npc);