#ifndef __PXTCORE_H
#define __PXTCORE_H
void dmesg(const char *fmt, ...);
#define DMESG dmesg
#endif