All symbols starting with `k' in kernserv/i386

• _KERN_INTERNAL_US_TIMER_H kernserv/i386/us_timer.h:42
• _KERNSERV_I386_SPL_H_ kernserv/i386/spl.h:44