path: root/riscv/insns/wfi.h

require_privilege(get_field(STATE.mstatus, MSTATUS_TW) ? PRV_M : PRV_S);
set_pc_and_serialize(npc);