Add pointer masking to the privileged ISA manual.

src/hypervisor.adoc

@@ -652,9 +652,7 @@ The definition of the CBZE field is furnished by the Zicboz extension.
 
 The definitions of the CBCFE and CBIE fields are furnished by the Zicbom extension.
 
-The definition of the PMM field will be furnished by the forthcoming
-Ssnpm extension. Its allocation within `henvcfg` may change prior to the
-ratification of that extension.
+The definition of the PMM field is furnished by the Ssnpm extension.
 
 The Zicfilp extension adds the `LPE` field in `henvcfg`. When the `LPE` field
 is set to 1, the Zicfilp extension is enabled in VS-mode. When the `LPE` field

src/machine.adoc

@@ -2185,9 +2185,7 @@ The definition of the CBZE field is furnished by the Zicboz extension.
 
 The definitions of the CBCFE and CBIE fields are furnished by the Zicbom extension.
 
-The definition of the PMM field will be furnished by the forthcoming
-Smnpm extension. Its allocation within `menvcfg` may change prior to the
-ratification of that extension.
+The definition of the PMM field is furnished by the Smnpm extension.
 
 The Zicfilp extension adds the `LPE` field in `menvcfg`. When the `LPE` field is
 set to 1 and S-mode is implemented, the Zicfilp extension is enabled in S-mode.

src/resources/riscv-spec.bib

@@ -1785,3 +1785,20 @@ @electronic{DEBUG_SPEC
   year = {}
 }
 ~
+@article{HWASAN,
+  author       = {Kostya Serebryany and
+                  Evgenii Stepanov and
+                  Aleksey Shlyapnikov and
+                  Vlad Tsyrklevich and
+                  Dmitry Vyukov},
+  title        = {Memory Tagging and how it improves {C/C++} memory safety},
+  journal      = {CoRR},
+  volume       = {abs/1802.09517},
+  year         = {2018},
+  url          = {http://arxiv.org/abs/1802.09517},
+  eprinttype    = {arXiv},
+  eprint       = {1802.09517},
+  timestamp    = {Mon, 13 Aug 2018 16:46:42 +0200},
+  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-09517.bib},
+  bibsource    = {dblp computer science bibliography, https://dblp.org}
+}

src/riscv-privileged.adoc

@@ -62,11 +62,11 @@ Avižienis, Jacob Bachmeyer, Allen J. Baum, Jonathan Behrens, Paolo Bonzini, Rus
 Christopher Celio, Chuanhua Chang, David Chisnall, Anthony Coulter, Palmer Dabbelt, Monte
 Dalrymple, Paul Donahue, Greg Favor, Dennis Ferguson,  Marc Gauthier, Andy Glew,
 Gary Guo, Mike Frysinger, John Hauser, David Horner, Olof
-Johansson, David Kruckemyer, Yunsup Lee, Daniel Lustig, Andrew Lutomirski, Prashanth Mundkur,
+Johansson, David Kruckemyer, Yunsup Lee, Daniel Lustig, Andrew Lutomirski, Martin Maas, Prashanth Mundkur,
 Jonathan Neuschäfer, Rishiyur
 Nikhil, Stefan O'Rear, Albert Ou, John Ousterhout, David Patterson, Dmitri
 Pavlov, Kade Phillips, Josh Scheid, Colin Schmidt, Michael Taylor, Wesley Terpstra, Matt Thomas, Tommy Thorn, Ray
-VanDeWalker, Megan Wachs, Steve Wallach, Andrew Waterman, Claire Wolf,
+VanDeWalker, Megan Wachs, Steve Wallach, Andrew Waterman, Claire Wolf, Adam Zabrocki,
 and Reinoud Zandijk.._
 
 _This document is released under a Creative Commons Attribution 4.0 International License._
@@ -93,6 +93,7 @@ include::sscofpmf.adoc[]
 include::hypervisor.adoc[]
 include::priv-cfi.adoc[]
 include::ssdbltrp.adoc[]
+include::zpm.adoc[]
 include::priv-insns.adoc[]
 include::priv-history.adoc[]
 include::bibliography.adoc[]

src/supervisor.adoc

@@ -824,9 +824,7 @@ The definitions of the CBCFE and CBIE fields will be furnished by the
 forthcoming Zicbom extension. Their allocations within `senvcfg` may
 change prior to the ratification of that extension.
 
-The definition of the PMM field will be furnished by the forthcoming
-Ssnpm extension. Its allocation within `senvcfg` may change prior to the
-ratification of that extension.
+The definition of the PMM field is furnished by the Ssnpm extension.
 
 The Zicfilp extension adds the `LPE` field in `senvcfg`. When the `LPE` field is
 set to 1, the Zicfilp extension is enabled in VU/U-mode. When the `LPE` field is