This is my annotation for the Linux Kernel