Re: [PATCH v2] server: Use queue_irp() also for synchronous IRPs.