Linux Kernel Data Structures In C