#ifndef __PXTCORE_H
#define __PXTCORE_H
//void codal_dmesg(const char *format, ...);
#define DMESG(...) /* nothing */
#endif