#ifndef _BITS_TIMER_H
#define _BITS_TIMER_H

/** @file
 *
 * x86_64-specific timer API implementations
 *
 */

#endif /* _BITS_TIMER_H */