fix the rdtsc namimg
[people/mdeck/gpxe.git] / src / arch / i386 / drivers /
drwxr-xr-x   ..
drwxr-xr-x - net
-rw-r--r-- 1228 timer_bios.c
-rw-r--r-- 1942 timer_rdtsc.c