--- a/src/wifi/model/dcf-manager.h	Fri Sep 05 15:38:55 2014 -0700
+++ b/src/wifi/model/dcf-manager.h	Fri Sep 05 16:33:57 2014 -0700
@@ -335,6 +335,14 @@
    */
   void NotifySwitchingStartNow (Time duration);
   /**
+   * Notify the DCF that the device has been put in sleep mode.
+   */
+  void NotifySleepNow (void);
+  /**
+   * Notify the DCF that the device has been resumed from sleep mode.
+   */
+  void NotifyWakeupNow (void);
+  /**
    * \param duration the value of the received NAV.
    *
    * Called at end of rx
@@ -487,6 +495,7 @@
   Time m_lastSwitchingStart;
   Time m_lastSwitchingDuration;
   bool m_rxing;
+  bool m_sleeping;
   Time m_eifsNoDifs;
   EventId m_accessTimeout;
   uint32_t m_slotTimeUs;