--- xen-2.0-testing.bk/xen/include/public/io/domain_controller.h	2005-03-28 18:38:58.151183771 +0000
+++ xen-2.0-testing-sysrq.bk/xen/include/public/io/domain_controller.h	2005-03-28 18:43:29.308152888 +0000
@@ -545,6 +545,10 @@
                                     /* SHUTDOWN_suspend.                     */
 #define CMSG_SHUTDOWN_SYSRQ     3
 
+typedef struct {
+    char key;      /* 0: sysrq key */
+    char __pad[3]; /* 1: */
+} PACKED shutdown_sysrq_t; /* 4 bytes */
 
 /******************************************************************************
  * MEMORY CONTROLS