13 changed files with 13 additions and 13 deletions
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_int8(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_uint8(RS1)); |
|||
|
|||
@ -1,5 +1,5 @@ |
|||
require_extension('H'); |
|||
require_rv64; |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_int64(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_int16(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_uint16(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_int32(RS1)); |
|||
|
|||
@ -1,5 +1,5 @@ |
|||
require_extension('H'); |
|||
require_rv64; |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_uint32(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_x_uint16(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
WRITE_RD(MMU.guest_load_x_uint32(RS1)); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
MMU.guest_store_uint8(RS1, RS2); |
|||
|
|||
@ -1,5 +1,5 @@ |
|||
require_extension('H'); |
|||
require_rv64; |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
MMU.guest_store_uint64(RS1, RS2); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
MMU.guest_store_uint16(RS1, RS2); |
|||
|
|||
@ -1,4 +1,4 @@ |
|||
require_extension('H'); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
require_novirt(); |
|||
require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_U : PRV_S); |
|||
MMU.guest_store_uint32(RS1, RS2); |
|||
|
|||
Loading…
Reference in new issue