Clarify multiple VA to PA mapping

riscv · Nov 19, 2024 · 777f0a4 · 777f0a4
1 parent e022c42
commit 777f0a4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/mte_tag.adoc b/src/mte_tag.adoc
@@ -218,6 +218,11 @@ splitted stores.
   A memory access (load or store) to some virtual address `va` can not bypass
   the older store initiated by `settag/setinvtag rs1=va`.
 
+  This specification defines tag as the entitiy attached to virtual addresses.  
+  It is software's responsibility to ensure that the tags are appropriately set
+  on the virtual addresses even though some of them map to the same physical 
+  address(es).
+
 * Exceptions
 
   `settag/setinvtag` can raise store page fault or access fault depending on