All symbols starting with `k' in kernserv/machine
_KERNSERV_MACHINE_SPL_H_
kernserv/machine/spl.h:26
_KERNSERV_MACHINE_US_TIMER_H_
kernserv/machine/us_timer.h:26