1 2 3 4
require_extension('H'); require_novirt(); require_privilege(get_field(STATE.hstatus->read(), HSTATUS_HU) ? PRV_U : PRV_S); WRITE_RD(MMU.guest_load<uint16_t>(RS1));