Using data structures in the linux kernel