cc3200_platform.cpp

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 #include "cc3200_platform.h"
00017 
00018 
00019 Timer t;
00020 
00021 namespace mbed_mqtt {
00022 
00023 void platform_timer_init()
00024 {   
00025     t.start();
00026 }
00027 
00028 uint32_t platform_get_time_in_secs()
00029 {
00030     uint32_t Secs = 0;
00031 //    uint16_t Msec = 0;
00032     
00033     t.stop();
00034     Secs = t.read();
00035 //    Msec = t.read_ms();
00036     t.reset();
00037     t.start();
00038     
00039     return (Secs);
00040 }
00041 
00042 }//namespace mbed_mqtt