diff options
| author | Andrew Waterman <andrew@sifive.com> | 2024-05-14 16:46:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-14 16:46:31 -0700 |
| commit | 221bd85cfbced316391868224ed121a2e054192b (patch) | |
| tree | 6820482bb6e972a9509cf6a65fda1a44129931d1 /src/supervisor.adoc | |
| parent | 1dec8da02c0fbebc9c24bb48fdadf2f19540e2b6 (diff) | |
| download | riscv-isa-manual-221bd85cfbced316391868224ed121a2e054192b.zip riscv-isa-manual-221bd85cfbced316391868224ed121a2e054192b.tar.gz riscv-isa-manual-221bd85cfbced316391868224ed121a2e054192b.tar.bz2 | |
Remove "vacant" class of memory region (#1408)
Represent them as never-accessible main memory or I/O regions instead.
Diffstat (limited to 'src/supervisor.adoc')
| -rw-r--r-- | src/supervisor.adoc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/supervisor.adoc b/src/supervisor.adoc index 5e33c4b..1e26feb 100644 --- a/src/supervisor.adoc +++ b/src/supervisor.adoc @@ -1988,9 +1988,6 @@ For leaf PTEs, setting bits 62-61 to the value 3 is reserved for future standard use. Until this value is defined by a standard extension, using this reserved value in a leaf PTE raises a page-fault exception. -If the underlying physical memory attribute for a page is vacant, the -PBMT settings do not override that. - When PBMT settings override a main memory page into I/O or vice versa, memory accesses to such pages obey the memory ordering rules of the final effective attribute, as follows. |