/* Separate initcall needed for semaphore initialization since crw_handle_channel_report might be called before crw_machine_check_init.  */
static int __init crw_init_semaphore(void)
/* Separate initcall needed for semaphore initialization since crw_handle_channel_report might be called before crw_machine_check_init.  */
static int __init crw_init_semaphore(void)
{
	init_MUTEX_LOCKED(&crw_semaphore);
	return 0;
}