1 /* 2 * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5 6 7 #include <OS.h> 8 9 #include <platform/openfirmware/openfirmware.h> 10 11 12 bigtime_t 13 system_time(void) 14 { 15 int result = of_milliseconds(); 16 return (result == OF_FAILED ? 0 : bigtime_t(result) * 1000); 17 } 18