From 93ac731fe609cc3ba9f106db2c821a26f68e1ac0 Mon Sep 17 00:00:00 2001
From: sqzsq <93576166+sqzsq@users.noreply.github.com>
Date: Sun, 1 Dec 2024 19:11:33 -0800
Subject: [PATCH] Clarify multiple VA to PA mapping (#7)

* Clarify multiple VA to PA mapping

* Revised wording

* Revised wording
---
 src/mte_tag.adoc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/mte_tag.adoc b/src/mte_tag.adoc
index 21f25e2..8e2d521 100644
--- a/src/mte_tag.adoc
+++ b/src/mte_tag.adoc
@@ -218,6 +218,12 @@ 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 entity associated to virtual addresses.
+  In case of aliasing (multiple virtual addresses map to same physical address),
+  it is software's responsibility to ensure that the tags are set according to
+  software's need for respective virtual address prior to memory accesses via
+  aliased virtual address.
+
 * Exceptions
 
   `settag/setinvtag` can raise store page fault or access fault depending on