xen/arch/arm/domain_build.c | 15 +++++++-------- xen/arch/x86/mm/mem_sharing.c | 11 ++--------- xen/common/domain.c | 24 ++++++++++++++++++++++++ xen/common/domctl.c | 19 ++++--------------- xen/common/sched/core.c | 16 +++++++++------- xen/include/xen/domain.h | 1 + 6 files changed, 47 insertions(+), 39 deletions(-)