diff -pNaur crash-6.0.7.org//xen_hyper.c crash-6.0.7/xen_hyper.c
--- crash-6.0.7.org//xen_hyper.c	2015-03-12 15:07:06.000000000 +0100
+++ crash-6.0.7/xen_hyper.c	2015-03-12 15:07:23.000000000 +0100
@@ -213,7 +213,12 @@ xen_hyper_domain_init(void)
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_is_polling, "domain", "is_polling");
 
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_is_dying, "domain", "is_dying");
+	/*
+	 * With Xen 4.2.5 is_paused_by_controller changed to
+	 * controller_pause_count.
+	 */
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_is_paused_by_controller, "domain", "is_paused_by_controller");
+	XEN_HYPER_MEMBER_OFFSET_INIT(domain_controller_pause_count, "domain", "controller_pause_count");
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_is_shutting_down, "domain", "is_shutting_down");
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_is_shut_down, "domain", "is_shut_down");
 	XEN_HYPER_MEMBER_OFFSET_INIT(domain_vcpu, "domain", "vcpu");
@@ -1252,8 +1257,12 @@ xen_hyper_store_domain_context(struct xe
 		} else if (XEN_HYPER_VALID_MEMBER(domain_is_polling) &&
 				*(dp + XEN_HYPER_OFFSET(domain_is_polling))) {
 			dc->domain_flags |= XEN_HYPER_DOMS_polling;
-		} else if (*(dp + XEN_HYPER_OFFSET(domain_is_paused_by_controller))) {
+		} else if (XEN_HYPER_VALID_MEMBER(domain_is_paused_by_controller) &&
+			*(dp + XEN_HYPER_OFFSET(domain_is_paused_by_controller))) {
 			dc->domain_flags |= XEN_HYPER_DOMS_ctrl_pause;
+		} else if (XEN_HYPER_VALID_MEMBER(domain_controller_pause_count) &&
+			*(dp + XEN_HYPER_OFFSET(domain_controller_pause_count))) {
+ 			dc->domain_flags |= XEN_HYPER_DOMS_ctrl_pause;
 		} else if (*(dp + XEN_HYPER_OFFSET(domain_is_dying))) {
 			dc->domain_flags |= XEN_HYPER_DOMS_dying;
 		} else if (*(dp + XEN_HYPER_OFFSET(domain_is_shutting_down))) {
diff -pNaur crash-6.0.7.org//xen_hyper_defs.h crash-6.0.7/xen_hyper_defs.h
--- crash-6.0.7.org//xen_hyper_defs.h	2015-03-12 15:07:06.000000000 +0100
+++ crash-6.0.7/xen_hyper_defs.h	2015-03-12 15:07:42.000000000 +0100
@@ -676,7 +676,11 @@ struct xen_hyper_offset_table {
 	long domain_is_privileged;
 	long domain_debugger_attached;
 	long domain_is_polling;
-	long domain_is_dying;
+ 	long domain_is_dying;
+	/*
+	 * This changed from xen-4.2.5 to domain_controller_pause_count.
+	 * See below!
+	 */
 	long domain_is_paused_by_controller;
 	long domain_is_shutting_down;
 	long domain_is_shut_down;
@@ -751,6 +755,8 @@ struct xen_hyper_offset_table {
 	long vcpu_runstate_info_state;
 	long vcpu_runstate_info_state_entry_time;
 	long vcpu_runstate_info_time;
+	/* domain - changed item see domain_is_paused_by_controller */
+	long domain_controller_pause_count;
 };
 
 /*
diff -pNaur crash-6.0.7.org//xen_hyper_dump_tables.c crash-6.0.7/xen_hyper_dump_tables.c
--- crash-6.0.7.org//xen_hyper_dump_tables.c	2012-05-30 20:25:37.000000000 +0200
+++ crash-6.0.7/xen_hyper_dump_tables.c	2015-03-12 15:07:23.000000000 +0100
@@ -784,6 +784,8 @@ xen_hyper_dump_xen_hyper_offset_table(ch
 		(buf, "%ld\n", xen_hyper_offset_table.domain_is_dying));
 	XEN_HYPER_PRI(fp, len, "domain_is_paused_by_controller: ", buf, flag,
 		(buf, "%ld\n", xen_hyper_offset_table.domain_is_paused_by_controller));
+	XEN_HYPER_PRI(fp, len, "domain_controller_pause_count: ", buf, flag,
+		(buf, "%ld\n", xen_hyper_offset_table.domain_controller_pause_count));
 	XEN_HYPER_PRI(fp, len, "domain_is_shutting_down: ", buf, flag,
 		(buf, "%ld\n", xen_hyper_offset_table.domain_is_shutting_down));
 	XEN_HYPER_PRI(fp, len, "domain_is_shut_down: ", buf, flag,