From 9e54ef1458e395bd67344e62543f8f658361f1aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Tue, 28 Oct 2003 21:16:36 +0000
Subject: [PATCH] system_time() is implemented in libroot/os/arch.

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@5201 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/kernel/core/arch/ppc/arch_cpu.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/kernel/core/arch/ppc/arch_cpu.c b/src/kernel/core/arch/ppc/arch_cpu.c
index f240dd8d7d..c4e649c724 100755
--- a/src/kernel/core/arch/ppc/arch_cpu.c
+++ b/src/kernel/core/arch/ppc/arch_cpu.c
@@ -109,8 +109,7 @@ arch_cpu_global_TLB_invalidate(void)
 
 
 // ToDo: doesn't belong here!
-#include <OS.h>
-
+#if 0
 long long 
 system_time(void)
 {
@@ -119,6 +118,7 @@ system_time(void)
 	return (time_base * 1000000) / ((66*1000*1000) / 4); 
 		// ToDo: remove hard coded
 }
+#endif
 
 
 int