aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2009-09-16 08:55:23 +0100
committerKeir Fraser <keir.fraser@citrix.com>2009-09-16 08:55:23 +0100
commit91cb4623df8f88695cdfcaaf6f90a2a93a1a62a9 (patch)
treecb0adbfdb1f29f0da2b8db92e3350d078413eff1
parentac61c93e1563712865b6837a56045ab7e4d95399 (diff)
downloadxen-91cb4623df8f88695cdfcaaf6f90a2a93a1a62a9.tar.gz
xen-91cb4623df8f88695cdfcaaf6f90a2a93a1a62a9.tar.bz2
xen-91cb4623df8f88695cdfcaaf6f90a2a93a1a62a9.zip
x86 hvm: Guests should scan CPUID range 40000000-4000ff00 for Xen leaves.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
-rw-r--r--tools/firmware/hvmloader/hvmloader.c2
-rw-r--r--tools/misc/xen-detect.c2
-rw-r--r--unmodified_drivers/linux-2.6/platform-pci/platform-pci.c2
3 files changed, 3 insertions, 3 deletions
diff --git a/tools/firmware/hvmloader/hvmloader.c b/tools/firmware/hvmloader/hvmloader.c
index 581bcafc52..ee12f3603c 100644
--- a/tools/firmware/hvmloader/hvmloader.c
+++ b/tools/firmware/hvmloader/hvmloader.c
@@ -123,7 +123,7 @@ static void init_hypercalls(void)
xen_extraversion_t extraversion;
uint32_t base;
- for ( base = 0x40000000; base < 0x40001000; base += 0x100 )
+ for ( base = 0x40000000; base < 0x40010000; base += 0x100 )
{
cpuid(base, &eax, &ebx, &ecx, &edx);
diff --git a/tools/misc/xen-detect.c b/tools/misc/xen-detect.c
index c50cf185ac..7bb767989a 100644
--- a/tools/misc/xen-detect.c
+++ b/tools/misc/xen-detect.c
@@ -52,7 +52,7 @@ static int check_for_xen(void)
char signature[13];
uint32_t base;
- for ( base = 0x40000000; base < 0x40001000; base += 0x100 )
+ for ( base = 0x40000000; base < 0x40010000; base += 0x100 )
{
cpuid(base, &eax, &ebx, &ecx, &edx);
diff --git a/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c b/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
index f081cb1115..87dac049c0 100644
--- a/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
+++ b/unmodified_drivers/linux-2.6/platform-pci/platform-pci.c
@@ -116,7 +116,7 @@ static uint32_t xen_cpuid_base(void)
uint32_t base, eax, ebx, ecx, edx;
char signature[13];
- for (base = 0x40000000; base < 0x40001000; base += 0x100) {
+ for (base = 0x40000000; base < 0x40010000; base += 0x100) {
cpuid(base, &eax, &ebx, &ecx, &edx);
*(uint32_t*)(signature + 0) = ebx;
*(uint32_t*)(signature + 4) = ecx;