- Synopsis
-
Clean and invalidate D-cache at VA
- Mnemonic
-
th.dcache.civa 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: 0x7, attr: ['dcache.cipa'] },
{ bits: 7, name: 0x01 },
]}
- Description
-
This instruction cleans and invalidates 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
<write back all dirty data cache lines matching the VA>
<invalidate all data cache lines matching the VA>- Permission
-
This instruction can be executed in all privilege levels.
- Exceptions
-
This instruction does not trigger any exceptions.
- Included in
| Extension | HW requirements |
|---|---|
XTheadCmo ([xtheadcmo]) |
D-cache, MMU |