Rename check_timer() function (and similar) to irqtimer_check().
treeefee55380327d34dac48748503118c4c91926fad
-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