/*
 *  $Id$
 */

 extern void gettime_impl(void);
 extern void gettime_us_impl(void);