diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-08-13 11:09:46 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-08-13 11:09:46 +0100 |
commit | a87b010c67fa312b5bfd7bd284580c21b0e1c9fd (patch) | |
tree | 0f7e1b474721c7b62d906f00821261cec6b9b4da | |
parent | 15b16e24df83658aa62f9d77dda04a6d9e01809b (diff) | |
download | xen-a87b010c67fa312b5bfd7bd284580c21b0e1c9fd.tar.gz xen-a87b010c67fa312b5bfd7bd284580c21b0e1c9fd.tar.bz2 xen-a87b010c67fa312b5bfd7bd284580c21b0e1c9fd.zip |
x86, shadow, oos: Remove overzealous warning and simplify code.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
-rw-r--r-- | xen/arch/x86/mm/shadow/multi.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/xen/arch/x86/mm/shadow/multi.c b/xen/arch/x86/mm/shadow/multi.c index dec5e9a09f..7736775501 100644 --- a/xen/arch/x86/mm/shadow/multi.c +++ b/xen/arch/x86/mm/shadow/multi.c @@ -3181,14 +3181,9 @@ static int sh_page_fault(struct vcpu *v, rc = guest_walk_tables(v, va, &gw, regs->error_code); #if (SHADOW_OPTIMIZATIONS & SHOPT_OUT_OF_SYNC) + regs->error_code &= ~PFEC_page_present; if ( !(rc & _PAGE_PRESENT) ) regs->error_code |= PFEC_page_present; - else if ( regs->error_code & PFEC_page_present ) - { - SHADOW_ERROR("OOS paranoia: Something is wrong in guest TLB" - " flushing. Have fun debugging it.\n"); - regs->error_code &= ~PFEC_page_present; - } #endif if ( rc != 0 ) |