Header file for kernel