at_wini also needs a pci_reserve() for the pci compatability device, if
[minix3.git] / lib / sysutil / read_tsc.h
blobff72854f8a4895db97dc3a560ed3c5da87fa8950
1 #ifndef READ_TSC_H
2 #define READ_TSC_H
4 _PROTOTYPE(void read_tsc, (unsigned long *hi, unsigned long *lo) );
6 #endif /* READ_TSC_H */