*** stock_iot-lab_M3/openwsn/debugpins.h	Thu Apr 24 11:01:37 2014
--- riot-openwsn-wip/openwsn/debugpins.h	Thu Apr 24 16:53:30 2014
***************
*** 1,12 ****
  /**
  \brief Cross-platform declaration "leds" bsp module.

  \author Thomas Watteyne <watteyne@eecs.berkeley.edu>, February 2012.
  */

- #ifndef __DEBUGPINS_H
- #define __DEBUGPINS_H
-
  //=========================== define ==========================================

  //=========================== typedef =========================================
--- 1,17 ----
+ #ifndef __DEBUGPINS_H
+ #define __DEBUGPINS_H
+
  /**
+ \addtogroup BSP
+ \{
+ \addtogroup debugpins
+ \{
+
  \brief Cross-platform declaration "leds" bsp module.

  \author Thomas Watteyne <watteyne@eecs.berkeley.edu>, February 2012.
  */

  //=========================== define ==========================================

  //=========================== typedef =========================================
***************
*** 15,44 ****

  //=========================== prototypes ======================================

! void debugpins_init();

! void debugpins_frame_toggle();
! void debugpins_frame_clr();
! void debugpins_frame_set();
!
! void debugpins_slot_toggle();
! void debugpins_slot_clr();
! void debugpins_slot_set();
!
! void debugpins_fsm_toggle();
! void debugpins_fsm_clr();
! void debugpins_fsm_set();
!
! void debugpins_task_toggle();
! void debugpins_task_clr();
! void debugpins_task_set();
!
! void debugpins_isr_toggle();
! void debugpins_isr_clr();
! void debugpins_isr_set();
!
! void debugpins_radio_toggle();
! void debugpins_radio_clr();
! void debugpins_radio_set();

  #endif
--- 20,54 ----

  //=========================== prototypes ======================================

! void debugpins_init(void);
!
! void debugpins_frame_toggle(void);
! void debugpins_frame_clr(void);
! void debugpins_frame_set(void);
!
! void debugpins_slot_toggle(void);
! void debugpins_slot_clr(void);
! void debugpins_slot_set(void);
!
! void debugpins_fsm_toggle(void);
! void debugpins_fsm_clr(void);
! void debugpins_fsm_set(void);
!
! void debugpins_task_toggle(void);
! void debugpins_task_clr(void);
! void debugpins_task_set(void);
!
! void debugpins_isr_toggle(void);
! void debugpins_isr_clr(void);
! void debugpins_isr_set(void);
!
! void debugpins_radio_toggle(void);
! void debugpins_radio_clr(void);
! void debugpins_radio_set(void);

! /**
! \}
! \}
! */

  #endif