/* $Id: os_timer.c 7666 2006-12-30 23:04:14Z Darkvater $ */

#include "stdafx.h"

#undef RDTSC_AVAILABLE

/* In all other cases we have no support for rdtsc. No major issue,
 * you just won't be able to profile your code with TIC()/TOC() */
#if !defined(RDTSC_AVAILABLE)
uint64 _rdtsc(void) {return 0;}
#endif
