Diff: platform/cc3200_platform.h

Revision:

0:698866e331b2

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/platform/cc3200_platform.h	Sat Jun 06 13:29:50 2015 +0000
@@ -0,0 +1,53 @@
+/******************************************************************************
+*
+*   Copyright (C) 2014 Texas Instruments Incorporated
+*
+*   All rights reserved. Property of Texas Instruments Incorporated.
+*   Restricted rights to use, duplicate or disclose this code are
+*   granted through contract.
+*
+*   The program may not be used without the written permission of
+*   Texas Instruments Incorporated or against the terms and conditions
+*   stipulated in the agreement under which this program has been supplied,
+*   and under no circumstances can it be used with non-TI connectivity device.
+*
+******************************************************************************/
+
+/*
+  platform.h
+
+  This file contains the platform specific typedefs
+*/
+
+#ifndef __PLATFORM_H__
+#define __PLATFORM_H__
+
+#include "cc3100_simplelink.h"
+
+#ifdef __cplusplus
+extern "C"
+{
+#endif
+
+namespace mbed_mqtt {
+
+//typedef unsigned char   u8;  /* Range: 0 to 255; refers network buf */
+//typedef signed   char   i8;  /* Range: -127 to 127 and signed maths */
+//typedef char            c8;  /* ASCII string and value of 0 to 127  */
+
+//typedef unsigned short u16;
+//typedef signed short   i16;
+//typedef unsigned long  u32;
+//typedef signed long    i32;
+
+extern void platform_timer_init();
+extern uint32_t platform_get_time_in_secs();
+
+}//namespace mbed_mqtt 
+
+#ifdef __cplusplus  
+}
+#endif 
+
+#endif /* __PLATFORM_H__ */
+