diff options
author | Jan Beulich <jbeulich@suse.com> | 2012-09-21 17:02:46 +0200 |
---|---|---|
committer | Jan Beulich <jbeulich@suse.com> | 2012-09-21 17:02:46 +0200 |
commit | 1b33d3acd1a7550b858379f38e01e085dc444d08 (patch) | |
tree | 7c97db23a20fa3e9c258e53e81952cabddd4702a /xen/arch/x86/mm | |
parent | 508609eec58f748a1f86953322e6ac32ae0b3c19 (diff) | |
download | xen-1b33d3acd1a7550b858379f38e01e085dc444d08.tar.gz xen-1b33d3acd1a7550b858379f38e01e085dc444d08.tar.bz2 xen-1b33d3acd1a7550b858379f38e01e085dc444d08.zip |
x86: enable VIA CPU support
Newer VIA CPUs have both 64-bit and VMX support. Enable them to be
recognized for these purposes, at once stripping off any 32-bit CPU
only bits from the respective CPU support file, and adding 64-bit ones
found in recent Linux.
This particularly implies untying the VMX == Intel assumption in a few
places.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/arch/x86/mm')
-rw-r--r-- | xen/arch/x86/mm/mem_event.c | 2 | ||||
-rw-r--r-- | xen/arch/x86/mm/p2m.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/xen/arch/x86/mm/mem_event.c b/xen/arch/x86/mm/mem_event.c index d728889e10..942c19e10f 100644 --- a/xen/arch/x86/mm/mem_event.c +++ b/xen/arch/x86/mm/mem_event.c @@ -608,7 +608,7 @@ int mem_event_domctl(struct domain *d, xen_domctl_mem_event_op_t *mec, break; /* Currently only EPT is supported */ - if ( boot_cpu_data.x86_vendor != X86_VENDOR_INTEL ) + if ( !cpu_has_vmx ) break; rc = mem_event_enable(d, mec, med, _VPF_mem_access, diff --git a/xen/arch/x86/mm/p2m.c b/xen/arch/x86/mm/p2m.c index f6e0352bf3..79c57eff28 100644 --- a/xen/arch/x86/mm/p2m.c +++ b/xen/arch/x86/mm/p2m.c @@ -83,7 +83,7 @@ static void p2m_initialise(struct domain *d, struct p2m_domain *p2m) p2m->cr3 = CR3_EADDR; - if ( hap_enabled(d) && (boot_cpu_data.x86_vendor == X86_VENDOR_INTEL) ) + if ( hap_enabled(d) && cpu_has_vmx ) ept_p2m_init(p2m); else p2m_pt_init(p2m); |