[Xen-changelog] [xen master] x86/shadow: add a clarifying assertion

[patchbot@xxxxxxx]

commit 4888ac5891f3daa37bdb3059893db084b50f497b
Author:     Jan Beulich <JBeulich@xxxxxxxx>
AuthorDate: Thu Mar 6 11:32:48 2014 +0000
Commit:     Tim Deegan <tim@xxxxxxx>
CommitDate: Thu Mar 6 13:10:14 2014 +0000

    x86/shadow: add a clarifying assertion
    
    ... documenting that we don't have to worry about merging guest
    provided flags with the ones we want to enforce ourselves.
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Tim Deegan <tim@xxxxxxx>
---
 xen/arch/x86/mm/shadow/multi.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c
index 5c7a7ac..3c1b25b 100644
--- a/xen/arch/x86/mm/shadow/multi.c
+++ b/xen/arch/x86/mm/shadow/multi.c
@@ -592,6 +592,8 @@ _sh_propagate(struct vcpu *v,
     {
         unsigned int type;
 
+        ASSERT(!(sflags & (_PAGE_PAT | _PAGE_PCD | _PAGE_PWT)));
+
         /* compute the PAT index for shadow page entry when VT-d is enabled
          * and device assigned. 
          * 1) direct MMIO: compute the PAT index with gMTRR=UC and gPAT.
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog