Defines in kernserv/machine

• _KERNSERV_MACHINE_SPL_H_ kernserv/machine/spl.h:26
• _KERNSERV_MACHINE_US_TIMER_H_ kernserv/machine/us_timer.h:26