1/*
2 * Copyright 2003-2007, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5
6
7#include <time.h>
8#include <OS.h>
9
10
11time_t
12time(time_t* timer)
13{
14	time_t secs = real_time_clock();
15
16	if (timer)
17		*timer = secs;
18
19	return secs;
20}
21