hlv_d.h\insns\riscv - rocket-tools/riscv-gnu-toolchain/spike.git - Unnamed repository; edit this file 'description' to name the repository.

index : rocket-tools/riscv-gnu-toolchain/spike.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/riscv/insns/hlv_d.h

blob: f432b650fb5e14e52c994167ea6f3a5938a98c12 (plain)

require_extension('H');
require_rv64;
require_novirt();
require_privilege(get_field(STATE.hstatus->read(), HSTATUS_HU) ? PRV_U : PRV_S);
WRITE_RD(MMU.guest_load_int64(RS1));