#ifndef READ_TSC_H
#define READ_TSC_H

_PROTOTYPE(void read_tsc, (unsigned long *hi, unsigned long *lo) );

#endif /* READ_TSC_H */