[DOCDAY PATCH] docs: update xenstore-paths.markdown with HVM paths.

[Ian Campbell <ian.campbell@citrix.com>]

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
---
 docs/misc/xenstore-paths.markdown |   47 +++++++++++++++++++++++++++++++++++-
 1 files changed, 45 insertions(+), 2 deletions(-)

diff --git a/docs/misc/xenstore-paths.markdown b/docs/misc/xenstore-paths.markdown
index 967ed7b..193e592 100644
--- a/docs/misc/xenstore-paths.markdown
+++ b/docs/misc/xenstore-paths.markdown
@@ -41,7 +41,8 @@ VALUES are strings and can take the following forms:
 
 * PATH -- a XenStore path.
 * STRING -- an arbitrary string.
-* INTEGER -- the decimal representation of an integer.
+* INTEGER -- An integer, in decimal representation unless otherwise
+  noted.
  * MEMKB -- the decimal representation of a number of kilobytes.
  * EVTCHN -- the decimal representation of an event channel.
  * GNTREF -- the decimal representation of a grant reference.
@@ -60,6 +61,9 @@ tags enclosed in square brackets.
 * HVM -- Path is valid for HVM domains only
 * PV --  Path is valid for PV domains only
 * BACKEND -- Path is valid for a backend domain (AKA driver domain)
+* INTERNAL -- Although a path is visible to the domain its use is
+  reserved for the virtual firmware or Xen platform code. Guest
+  Operating Systems should not read this key.
 
 Owning domain means the domain whose home path this tag is found
 under.
@@ -139,6 +143,25 @@ The domain's suspend event channel. The use of a suspend event channel
 is optional at the domain's discression. If it is not used then this
 path will be left blank.
 
+#### ~/hvmloader/generation-id-address = ADDRESS [r,HVM,INTERNAL]
+
+The hexadecimal representation of the address of the domain's
+"generation id".
+
+XXX Where is this specified.
+
+#### ~/hvmloader/bios = ("rombios"|"seabios"|"OVMF") [HVM,INTERNAL]
+
+The BIOS used by this domain.
+
+#### ~/platform/* [HVM,INTERNAL]
+
+Various platform properties. 
+
+* acpi -- is ACPI enabled for this domain
+* acpi_s3 -- is ACPI S3 support enabled for this domain
+* acpi_s4 -- is ACPI S4 support enabled for this domain
+
 ### Frontend device paths
 
 Paravirtual device frontends are generally specified by their own
@@ -201,6 +224,22 @@ directory within the XenStore hierarchy. Usually this is under
 A virtual block device backend. Described by
 [xen/include/public/io/blkif.h][BLKIF]
 
+Uses the in-kernel blkback driver.
+
+#### ~/backend/qdisk/$DOMID/$DEVID/* []
+
+A virtual block device backend. Described by
+[xen/include/public/io/blkif.h][BLKIF]
+
+Uses the qemu based disk backend.
+
+#### ~/backend/tap/$DOMID/$DEVID/* []
+
+A virtual block device backend. Described by
+[xen/include/public/io/blkif.h][BLKIF]
+
+Uses the in-kernel blktap (v1) disk backend (deprecated).
+
 #### ~/backend/vfb/$DOMID/$DEVID/* []
 
 A virtual framebuffer backend. Described by
@@ -274,12 +313,16 @@ The domains name.
 
 ### /vm/$UUID/image/* []
 
-Various information relating to the domain builder.
+Various information relating to the domain builder used for this guest.
 
 ### /vm/$UUID/start_time = INTEGER "." INTEGER []
 
 The time which the guest was started in SECONDS.MICROSECONDS format
 
+### /vm/$UUID/rtc/timeoffset = ""|INTEGER [HVM,INTERNAL]
+
+The guest's virtual time offset from UTC in seconds.
+
 ## Platform-Level paths
 
 ### libxl Specific Paths
-- 
1.7.2.5