diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 99068adccf..dad268d0b3 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -437,6 +437,7 @@
<pae/>
<acpi/>
<apic/>
+ <hap/>
</features>
...
@@ -456,6 +457,10 @@
ACPI is useful for power management, for example, with
KVM guests it is required for graceful shutdown to work.
+ hap
+ Enable use of Hardware Assisted Paging if available in
+ the hardware.
+
diff --git a/docs/schemas/domain.rng b/docs/schemas/domain.rng
index a524e4bcd6..6de85fdcf7 100644
--- a/docs/schemas/domain.rng
+++ b/docs/schemas/domain.rng
@@ -1748,7 +1748,7 @@
@@ -1769,6 +1769,11 @@
+
+
+
+
+