tcp_log_dev_queue_validate_lock
tcp_log_dev_queue_validate_lock(*lockstate);
tcp_log_dev_queue_validate_lock(lockstate);