//========= Copyright Valve Corporation, All rights reserved. ============//
// SDR_PUBLIC - Stripped out all of the stuff we don't need
PLATFORMTIME_INTERFACE uint64 ; // Returns time in raw ticks since an arbitrary start point.
PLATFORMTIME_INTERFACE double ; // Relative ticks to seconds (double).
PLATFORMTIME_INTERFACE uint64 ; // Relative ticks to microseconds
/* PLATFORMTIME_H */