Module sbi_spec::rfnc

Chapter 8. RFENCE Extension (EID #0x52464E43 “RFNC”).

Constants

• EID_RFNC
  Extension ID for Remote Fence extension.
• REMOTE_FENCE_I
  Function ID to FENCE.I instruction on remote harts.
• REMOTE_HFENCE_GVMA
  Function ID to HFENCE.GVMA for all virtual machines on remote harts.
• REMOTE_HFENCE_GVMA_VMID
  Function ID to virtual machine id based HFENCE.GVMA on remote harts.
• REMOTE_HFENCE_VVMA
  Function ID to HFENCE.VVMA for all address spaces in the current virtual machine on remote harts.
• REMOTE_HFENCE_VVMA_ASID
  Function ID to address space based HFENCE.VVMA for current virtual machine on remote harts.
• REMOTE_SFENCE_VMA
  Function ID to SFENCE.VMA for all address spaces on remote harts.
• REMOTE_SFENCE_VMA_ASID
  Function ID to address space based SFENCE.VMA on remote harts.