2017-06-29 15:47:26 +01:00
|
|
|
#ifndef __PXTCORE_H
|
|
|
|
#define __PXTCORE_H
|
|
|
|
|
2017-07-05 17:53:22 +01:00
|
|
|
namespace pxt {
|
2017-07-01 12:43:10 +02:00
|
|
|
void dmesg(const char *fmt, ...);
|
2017-07-10 11:42:30 +01:00
|
|
|
#define DMESG pxt::dmesg
|
2017-07-05 17:53:22 +01:00
|
|
|
}
|
2017-06-29 15:47:26 +01:00
|
|
|
|
|
|
|
#endif
|