Lines Matching refs:console_srcu_read_unlock

283  * Return: A cookie to pass to console_srcu_read_unlock().
293  * console_srcu_read_unlock - Unregister an old reader from
299 void console_srcu_read_unlock(int cookie)
304 EXPORT_SYMBOL(console_srcu_read_unlock);
1982 	console_srcu_read_unlock(cookie);
3252 		console_srcu_read_unlock(cookie);
3258 	console_srcu_read_unlock(cookie);
3371 	console_srcu_read_unlock(cookie);
3411 	console_srcu_read_unlock(cookie);
3450 	console_srcu_read_unlock(cookie);
3518 	console_srcu_read_unlock(cookie);
3624 	console_srcu_read_unlock(cookie);
4463 		console_srcu_read_unlock(cookie);