//hypv-mm-fence.edn

[wavedrom, ,svg]
....
{reg: [
  {bits: 7, name: 'opcode', attr: ['7', 'SYSTEM', 'SYSTEM']},
  {bits: 5, name: 'rd', attr: ['5','0', '0']},
  {bits: 3, name: 'funct3', attr: ['3','PRIV', 'PRIV']},
  {bits: 5, name: 'rs1', attr: ['5','vaddr', 'gaddr']},
  {bits: 5, name: 'rs2', attr: ['5','asid', 'vmid']},
  {bits: 7, name: 'funct7', attr: ['7','HFENCE.VVMA', 'HFENCE.GVMA']},
], config: {bits: 32}}
....