#ifndef GAS_LOGGER_C28X_H
#define GAS_LOGGER_C28X_H
#include <stdint.h>
/* TI C2000 compiler; F2812/F28335. Supply these as gl_port lock callbacks. */
uint32_t gl_c28x_enter(void *user);
void gl_c28x_leave(void *user,uint32_t state);
#endif