/*
 * Copyright (c) 2011 The Chromium OS Authors. All rights reserved.
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 *
 * Alternatively, this software may be distributed under the terms of the
 * GNU General Public License ("GPL") version 2 as published by the Free
 * Software Foundation.
 */

#include <common.h>

/* Temporary patch to maintain bisectability, removed in next commit */
#ifndef CONFIG_SYS_X86_TSC_TIMER
unsigned long timer_get_us(void)
{
	printf("timer_get_us used but not implemented.\n");
	return 0;
}
#endif