Rename check_tsc() (and similar) to timer_check() and use u32.
tree203fcc2a01c8383532236bfd48e903f927eec79b
-rw-r--r-- 30 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 9097 Makefile
-rw-r--r-- 7711 README
-rw-r--r-- 1112 README.CSM
-rw-r--r-- 697 TODO
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc