Use the small id pool for tags.
[akaros.git] / kern / drivers / timers /
drwxr-xr-x   ..
-rw-r--r-- 177 Kbuild
-rw-r--r-- 2349 hpet.c
-rw-r--r-- 174 hpet.h