/* * Lock to serialize system calls and kernel threads. */