1/*
2 * Copyright 2011, Fran��ois Revol, revol@free.fr.
3 * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
4 * Copyright 2006-2011, Haiku, Inc. All Rights Reserved.
5 * All rights reserved. Distributed under the terms of the MIT License.
6 *
7 * Authors:
8 *		Ingo Weinhold, bonefish@cs.tu-berlin.de
9 *		Alexander von Gluck, kallisti5@unixzen.com
10 */
11
12
13#include "support.h"
14#include <boot/platform/cfe/cfe.h>
15
16
17bigtime_t
18system_time(void)
19{
20	bigtime_t result = cfe_getticks() * 1000000LL / CFE_HZ ;
21	return result;
22}
23
24