1.1 --- a/xen/common/domain.c	Thu Mar 29 18:07:33 2007 +0100
     1.2 +++ b/xen/common/domain.c	Thu Mar 29 18:19:10 2007 +0100
     1.3 @@ -356,8 +356,6 @@ void domain_pause_for_debugger(void)
     1.4      send_guest_global_virq(dom0, VIRQ_DEBUGGER);
     1.5  }
     1.6  
     1.7 -__attribute__ ((weak)) void domain_debug_state_changed(struct domain *d) { }
     1.8 -
     1.9  /* Complete domain destroy after RCU readers are not holding old references. */
    1.10  static void complete_domain_destroy(struct rcu_head *head)
    1.11  {

     2.1 --- a/xen/include/xen/sched.h	Thu Mar 29 18:07:33 2007 +0100
     2.2 +++ b/xen/include/xen/sched.h	Thu Mar 29 18:19:10 2007 +0100
     2.3 @@ -333,7 +333,6 @@ void domain_destroy(struct domain *d);
     2.4  void domain_kill(struct domain *d);
     2.5  void domain_shutdown(struct domain *d, u8 reason);
     2.6  void domain_pause_for_debugger(void);
     2.7 -void domain_debug_state_changed(struct domain *d);
     2.8  
     2.9  /*
    2.10   * Mark specified domain as crashed. This function always returns, even if the