HSV.D

Hypervisor Store Double

HSV.D rs2, (rs1)

Stores a doubleword to guest physical memory.

Details

HSV.D stores the doubleword in rs2 to the VS-mode virtual address in rs1 (RV64 only).

Pseudocode Operation

GuestMem[rs1][63:0] = R[rs2];

Example

HSV.D a1, a0

Encoding

Binary Layout
0110111
31:25
rs2
24:20
rs1
19:15
100
14:12
00000
11:7
1110011
6:0
 
Format R-Type (System)
Opcode 0x73
Extension H

Operands

  • rs2
    Source
  • rs1
    Guest Addr