@@ -19,27 +19,27 @@ extension may not be implemented or may not be enabled for a workload,
1919instruction encodings for memory tagging are taken from zimop cite:[ZIMOP]
2020encoding and thus make memory tagging extension dependent on zimop.
2121
22- == Taxonomy for loads and stores
22+ === Taxonomy for loads and stores
2323
2424`Zimte` introduces new type of loads and stores to the hart and enforces tag
2525checks on certain loads and stores. Following terminologies are defined for
2626better clarity and will be used in the rest of the specification.
2727
28- === Regular load and regular store operations
28+ ==== Regular load and regular store operations
2929Load and store operating on a page with permissions `--R`, `X-R`, `-WR` and
3030`XWR` are termed as a `regular load` and `regular store`. Regular load and
3131regular store memory operations are generated from an instruction (except
3232`settag`) defined by ISA to perform memory accesses.
3333
34- === Checked load and store
34+ ==== Checked load and store
3535Regular load and store which is subject to tag check is termed as checked load
3636and store (or checked memory access)
3737
38- === Unchecked load and store
38+ ==== Unchecked load and store
3939Regular load and store which is not subject to tag check is termed as unchecked
4040load and store (unchecked memory access).
4141
42- === Load tag and store tag operations
42+ ==== Load tag and store tag operations
4343`load tag` operation is a load of tag from tag storage as defined by Svatag or
4444Smvatag extensions. `store tag` operation is a store of tag to tag storage as
4545defined by Svatag or Smvatag extensions. `load tag` operation requires
0 commit comments