Rabih Chrabieh - 2015-01-26

Sorry for the website's automatic formatting above in too large font. It should read

#define portINTERRUPT_STATUS_DECL()  unsigned  _interrupt_status_

#define portDISABLE_INTERRUPTS()     _interrupt_status_ = disable_interrupts();

#define portENABLE_INTERRUPTS()      restore_interrupts(_interrupt_status_);