path: root/riscv/insns/hlv_h.h

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