path: root/riscv/insns/wfi.h

set_pc_and_serialize(npc);