Symbol: KERNEL_INTERFACE_H