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/mm.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/mm.h')
-rw-r--r-- | xen/include/asm-x86/mm.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/xen/include/asm-x86/mm.h b/xen/include/asm-x86/mm.h index 3d7b2f34e3..3c1336c1a9 100644 --- a/xen/include/asm-x86/mm.h +++ b/xen/include/asm-x86/mm.h @@ -398,16 +398,6 @@ static inline int get_page_and_type(struct page_info *page, ASSERT(((_p)->count_info & PGC_count_mask) != 0); \ ASSERT(page_get_owner(_p) == (_d)) -// Quick test for whether a given page can be represented directly in CR3. -// -#if CONFIG_PAGING_LEVELS == 3 -#define MFN_FITS_IN_CR3(_MFN) !(mfn_x(_MFN) >> 20) - -/* returns a lowmem machine address of the copied L3 root table */ -unsigned long -pae_copy_root(struct vcpu *v, l3_pgentry_t *l3tab); -#endif /* CONFIG_PAGING_LEVELS == 3 */ - int check_descriptor(const struct domain *, struct desc_struct *d); extern bool_t opt_allow_superpage; |