Make get_ticks_per_sec() a static inline
[qemu] / roms /
drwxr-xr-x   ..
m--------- - pcbios
m--------- - seabios
m--------- - vgabios