1 /******************************************************************************
2 * Copyright (c) 2004, 2008 IBM Corporation
4 * This program and the accompanying materials
5 * are made available under the terms of the BSD License
6 * which accompanies this distribution, and is available at
7 * http://www.opensource.org/licenses/bsd-license.php
10 * IBM Corporation - initial implementation
11 *****************************************************************************/
16 //*******************************************************************
17 // variable "tb_freq" contains the frequency in Hz
18 // and is read from the device tree (setup by LLFW) in "init.c"
21 //-------------------------------------------------------------------
22 // Read the current timebase
23 uint64_t get_time(void)