used. This fixes a lockup in synchronize_irq() on x86.
Attach a file by drag & drop or click to upload
