WARNING: line length of 85 exceeds 80 columns
WARNING: memory barrier without comment
WARNING: waitqueue_active without comment