#ifndef NULLSOFT_PDTIMERH
#define NULLSOFT_PDTIMERH
#include <arch.h>
__int64 pdReadResolution(void);
__int64 pdReadTimer(void);
#endif