ia64/xen-unstable

changeset 16038:60c898eeb17b

hvm: Fix HVMOP_flush_tlbs to flush paging-mode state.
From: Peter Johnston <pjohnston@xensource.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
author Keir Fraser <keir@xensource.com>
date Tue Oct 02 09:35:37 2007 +0100 (2007-10-02)
parents 949664900fff
children 1ead02bab5c8
files xen/arch/x86/hvm/hvm.c
line diff
     1.1 --- a/xen/arch/x86/hvm/hvm.c	Tue Oct 02 09:31:40 2007 +0100
     1.2 +++ b/xen/arch/x86/hvm/hvm.c	Tue Oct 02 09:35:37 2007 +0100
     1.3 @@ -1657,7 +1657,15 @@ static int hvmop_set_pci_link_route(
     1.4  
     1.5  static int hvmop_flush_tlb_all(void)
     1.6  {
     1.7 +    struct vcpu *v;
     1.8 +
     1.9 +    /* Flush paging-mode soft state (e.g., va->gfn cache; PAE PDPE cache). */
    1.10 +    for_each_vcpu ( current->domain, v )
    1.11 +        paging_update_cr3(v);
    1.12 +
    1.13 +    /* Flush all dirty TLBs. */
    1.14      flush_tlb_mask(current->domain->domain_dirty_cpumask);
    1.15 +
    1.16      return 0;
    1.17  }
    1.18