path: root/riscv/insns/hsv_b.h

require_extension('H');
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_S : PRV_U);
require_novirt();
MMU.guest_store_uint8(RS1, RS2);