File content as of revision 0:698866e331b2:

/******************************************************************************
 *
 *   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.
 *
 ******************************************************************************/

#include "cc3200_platform.h"


Timer t;

namespace mbed_mqtt {

void platform_timer_init()
{   
    t.start();
}

uint32_t platform_get_time_in_secs()
{
    uint32_t Secs = 0;
//    uint16_t Msec = 0;
    
    t.stop();
    Secs = t.read();
//    Msec = t.read_ms();
    t.reset();
    t.start();
    
    return (Secs);
}

}//namespace mbed_mqtt