define __KERNEL__