cc3200_platform.h

00001 /******************************************************************************
00002 *
00003 *   Copyright (C) 2014 Texas Instruments Incorporated
00004 *
00005 *   All rights reserved. Property of Texas Instruments Incorporated.
00006 *   Restricted rights to use, duplicate or disclose this code are
00007 *   granted through contract.
00008 *
00009 *   The program may not be used without the written permission of
00010 *   Texas Instruments Incorporated or against the terms and conditions
00011 *   stipulated in the agreement under which this program has been supplied,
00012 *   and under no circumstances can it be used with non-TI connectivity device.
00013 *
00014 ******************************************************************************/
00015 
00016 /*
00017   platform.h
00018 
00019   This file contains the platform specific typedefs
00020 */
00021 
00022 #ifndef __PLATFORM_H__
00023 #define __PLATFORM_H__
00024 
00025 #include "cc3100_simplelink.h"
00026 
00027 #ifdef __cplusplus
00028 extern "C"
00029 {
00030 #endif
00031 
00032 namespace mbed_mqtt {
00033 
00034 //typedef unsigned char   u8;  /* Range: 0 to 255; refers network buf */
00035 //typedef signed   char   i8;  /* Range: -127 to 127 and signed maths */
00036 //typedef char            c8;  /* ASCII string and value of 0 to 127  */
00037 
00038 //typedef unsigned short u16;
00039 //typedef signed short   i16;
00040 //typedef unsigned long  u32;
00041 //typedef signed long    i32;
00042 
00043 extern void platform_timer_init();
00044 extern uint32_t platform_get_time_in_secs();
00045 
00046 }//namespace mbed_mqtt 
00047 
00048 #ifdef __cplusplus  
00049 }
00050 #endif 
00051 
00052 #endif /* __PLATFORM_H__ */
00053