diff options
| author | Andrew Waterman <andrew@sifive.com> | 2020-08-24 17:28:24 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2020-08-24 17:28:24 -0700 |
| commit | 55691d9fc60532444a4d81e1bef0e4b15e1ea481 (patch) | |
| tree | e37ed14b6e4b1f489a9f70babc93bfb767efaade /src/supervisor.tex | |
| parent | 973e8eb1e8b91e08f7e6d5127d040271a0fe076e (diff) | |
| download | riscv-isa-manual-55691d9fc60532444a4d81e1bef0e4b15e1ea481.zip riscv-isa-manual-55691d9fc60532444a4d81e1bef0e4b15e1ea481.tar.gz riscv-isa-manual-55691d9fc60532444a4d81e1bef0e4b15e1ea481.tar.bz2 | |
Tweak
Diffstat (limited to 'src/supervisor.tex')
| -rw-r--r-- | src/supervisor.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex index a60ff2e..f32129b 100644 --- a/src/supervisor.tex +++ b/src/supervisor.tex @@ -1165,8 +1165,8 @@ execute SFENCE.VMA in accordance with the previous bullet point. If a hart employs an address-translation cache, that cache must appear to be private to that hart. -In particular, the meaning of an ASID is local to a hart; software may use the -same ASID to refer to different address spaces on different harts. +In particular, the meaning of an ASID is local to a hart; software may choose +to use the same ASID to refer to different address spaces on different harts. \begin{commentary} A future extension could redefine ASIDs to be global across the SEE, enabling |