/**
 * =========================================================================
 * File        : hpet.h
 * Project     : 0 A.D.
 * Description : HPET timer backend
 * =========================================================================
 */

// license: GPL; see lib/license.txt

#ifndef INCLUDED_HPET
#define INCLUDED_HPET

extern bool hpetInit();
extern void hpetShutdown();

#endif	// #ifndef INCLUDED_HPET