diff options
| author | Keir Fraser <keir@xen.org> | 2011-01-21 15:57:18 +0000 |
|---|---|---|
| committer | Keir Fraser <keir@xen.org> | 2011-01-21 15:57:18 +0000 |
| commit | f2154f99137f7021e76d2f5ad7e3155ff29fafde (patch) | |
| tree | 654103b9d588c4832871e259c9752305094ea501 | |
| parent | c856ec5f96dd41e1d23528f6051ae6c29f49c716 (diff) | |
| download | xen-f2154f99137f7021e76d2f5ad7e3155ff29fafde.tar.gz xen-f2154f99137f7021e76d2f5ad7e3155ff29fafde.tar.bz2 xen-f2154f99137f7021e76d2f5ad7e3155ff29fafde.zip | |
x86_32: Assert map_domian_page() not used too early.
Signed-off-by: Fengzhe Zhang <fengzhe.zhang@intel.com>
| -rw-r--r-- | xen/arch/x86/x86_32/domain_page.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xen/arch/x86/x86_32/domain_page.c b/xen/arch/x86/x86_32/domain_page.c index 55a3380776..4fb563d4f0 100644 --- a/xen/arch/x86/x86_32/domain_page.c +++ b/xen/arch/x86/x86_32/domain_page.c @@ -53,6 +53,8 @@ void *map_domain_page(unsigned long mfn) perfc_incr(map_domain_page_count); v = mapcache_current_vcpu(); + /* Prevent vcpu pointer being used before initialize. */ + ASSERT((unsigned long)v != 0xfffff000); dcache = &v->domain->arch.mapcache; vcache = &v->arch.mapcache; |