Linux kernel list.h for userspace