/* * Print debugging information about the kernel lock. */