x86: We can assume CONFIG_PAGING_LEVELS==4.
authorKeir Fraser <keir@xen.org>
Wed, 12 Sep 2012 12:59:26 +0000 (13:59 +0100)
committerKeir Fraser <keir@xen.org>
Wed, 12 Sep 2012 12:59:26 +0000 (13:59 +0100)
commit218adf199e6868eb4a15644a63e6991ede1613bc
treefaa5070fb10dee2354b8c753385e10fc32668a2d
parent5d1181a5ea5e0f11d481a94b16ed00d883f9726e
x86: We can assume CONFIG_PAGING_LEVELS==4.

Signed-off-by: Keir Fraser <keir@xen.org>
21 files changed:
xen/arch/x86/boot/trampoline.S
xen/arch/x86/boot/wakeup.S
xen/arch/x86/domain.c
xen/arch/x86/domain_build.c
xen/arch/x86/hvm/svm/svm.c
xen/arch/x86/mm.c
xen/arch/x86/mm/hap/hap.c
xen/arch/x86/mm/p2m-pod.c
xen/arch/x86/mm/p2m-pt.c
xen/arch/x86/mm/p2m.c
xen/arch/x86/mm/shadow/common.c
xen/arch/x86/mm/shadow/multi.c
xen/arch/x86/mm/shadow/private.h
xen/arch/x86/trace.c
xen/arch/x86/traps.c
xen/include/asm-x86/domain.h
xen/include/asm-x86/hvm/svm/vmcb.h
xen/include/asm-x86/mm.h
xen/include/asm-x86/p2m.h
xen/include/asm-x86/page.h
xen/include/asm-x86/paging.h