dcache_cva.adoc

th.dcache.cva

Synopsis

Clean D-cache at VA

Mnemonic

th.dcache.cva rs1

Encoding

{reg:[
    { bits:  7, name: 0xb, attr: ['custom-0, 32 bit'] },
    { bits:  5, name: 0x0 },
    { bits:  3, name: 0x0, attr: ['CMO'] },
    { bits:  5, name: 'rs1' },
    { bits:  5, name: 0x5, attr: ['dcache.cva'] },
    { bits:  7, name: 0x01 },
]}

Description

This instruction cleans the cache lines that match the specified virtual address in the D-cache. If a cache line is dirty it will be written back to the next-level storage.

Operation

if (priv_level == U)
{
  <raise illegal instruction exception>
}

<write back all dirty data cache lines matching the VA>

Permission

This instruction can be executed in all privilege levels higher than U mode. Attempts to execute this instruction in U mode raise an illegal instruction exception.

Exceptions

This instruction does not trigger any exceptions.

Included in

Extension	HW requirements
XTheadCmo ([xtheadcmo])	D-cache, MMU