/* 
 * Copyright 2003-2007, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
 * Distributed under the terms of the MIT License.
 */


#include <time.h>
#include <OS.h>


time_t
time(time_t* timer)
{
	time_t secs = real_time_clock();

	if (timer)
		*timer = secs;

	return secs;
}