diff options
| author | Keir Fraser <keir@xen.org> | 2012-09-12 13:59:26 +0100 |
|---|---|---|
| committer | Keir Fraser <keir@xen.org> | 2012-09-12 13:59:26 +0100 |
| commit | 218adf199e6868eb4a15644a63e6991ede1613bc (patch) | |
| tree | faa5070fb10dee2354b8c753385e10fc32668a2d /xen/include/asm-x86/domain.h | |
| parent | 5d1181a5ea5e0f11d481a94b16ed00d883f9726e (diff) | |
| download | xen-218adf199e6868eb4a15644a63e6991ede1613bc.tar.gz xen-218adf199e6868eb4a15644a63e6991ede1613bc.tar.bz2 xen-218adf199e6868eb4a15644a63e6991ede1613bc.zip | |
x86: We can assume CONFIG_PAGING_LEVELS==4.
Signed-off-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/include/asm-x86/domain.h')
| -rw-r--r-- | xen/include/asm-x86/domain.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/xen/include/asm-x86/domain.h b/xen/include/asm-x86/domain.h index 5abe51f4ae..1d9cb6675f 100644 --- a/xen/include/asm-x86/domain.h +++ b/xen/include/asm-x86/domain.h @@ -119,12 +119,10 @@ struct shadow_domain { }; struct shadow_vcpu { -#if CONFIG_PAGING_LEVELS >= 3 /* PAE guests: per-vcpu shadow top-level table */ l3_pgentry_t l3table[4] __attribute__((__aligned__(32))); /* PAE guests: per-vcpu cache of the top-level *guest* entries */ l3_pgentry_t gl3e[4] __attribute__((__aligned__(32))); -#endif /* Non-PAE guests: pointer to guest top-level pagetable */ void *guest_vtable; /* Last MFN that we emulated a write to as unshadow heuristics. */ |