Linux kernel resource locking mechanism