I'd assumed that vcs_remove_devfs() could not possibly take console_sem(). Seems I was wrong.
Attach a file by drag & drop or click to upload
