[PATCH 1/2] public/xen.h: Update page table layout comments

[Frediano Ziglio <freddy77@xxxxxxxxx>]

From: Frediano Ziglio <frediano.ziglio@xxxxxxxxxx>

Bit 12 was always used for the MFN.
Extend range for MFN.

Signed-off-by: Frediano Ziglio <frediano.ziglio@xxxxxxxxxx>
---
 xen/include/public/xen.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h
index 2149b8dd38..d4f238c10b 100644
--- a/xen/include/public/xen.h
+++ b/xen/include/public/xen.h
@@ -283,8 +283,7 @@ DEFINE_XEN_GUEST_HANDLE(xen_ulong_t);
  * if this is a X86_64 machine and four page table layout is used, the layout
  * of val is:
  *  - 63 if set means No execute (NX)
- *  - 46-13 the machine frame number
- *  - 12 available for guest
+ *  - 51-12 the machine frame number
  *  - 11 available for guest
  *  - 10 available for guest
  *  - 9 available for guest
-- 
2.43.0