misc. paging patches
Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxxxxx>
Signed-off-by: Wei Huang <Wei.Huang2@xxxxxxx>
arch/x86/domain.c | 20 ++---
arch/x86/domain_build.c | 4 -
arch/x86/domctl.c | 2
arch/x86/traps.c | 4 -
arch/x86/x86_64/domctl.c | 6 -
include/asm-x86/domain.h | 83 +++++++++++++---------
include/asm-x86/shadow.h | 176
++++-------------------------------------------
7 files changed, 87 insertions(+), 208 deletions(-)