#include "gas_logger_c28x.h"
/* __disable_interrupts/__restore_interrupts are TI C28x compiler intrinsics. */
uint32_t gl_c28x_enter(void *user) { (void)user; return __disable_interrupts(); }
void gl_c28x_leave(void *user,uint32_t state) { (void)user; __restore_interrupts((unsigned int)state); }