main.h

00001 /*
00002  * Copyright (c) 2018 Helmut Tschemernjak
00003  * 30826 Garbsen (Hannover) Germany
00004   * Licensed under the Apache License, Version 2.0);
00005 */
00006 
00007 #include "mbed.h"
00008 #include "PinMap.h"
00009 #include "BufferedSerial.h"
00010 #ifdef FEATURE_USBSERIAL
00011 #include "USBSerialBuffered.h"
00012 #endif
00013 #include "GenericPingPong.h"
00014 
00015 
00016 extern BufferedSerial *ser;
00017 #ifdef FEATURE_USBSERIAL
00018 extern USBSerialBuffered *usb;
00019 #endif
00020 extern bool _useDprintf;
00021 extern void InitSerial(int timeout, DigitalOut *led);  
00022 extern void dump(const char *title, const void *data, int len, bool dwords = false);
00023 
00024 extern void dprintf(const char *format, ...) __attribute__((format(printf,1,2)));
00025 extern void rprintf(const char *format, ...) __attribute__((format(printf,1,2)));
00026 extern void VAprintf(bool timstamp, bool newline, bool printEnabled, const char *format, va_list arg);