Defines in kernserv/ppc

• _KERN_INTERNAL_US_TIMER_H kernserv/ppc/us_timer.h:42
• _KERNSERV_PPC_SPL_H_ kernserv/ppc/spl.h:32