Re: [PATCH tip v6 3/5] KVM: use simple waitqueue for vcpu->wq

From: Daniel Wagner
Date: Fri Jan 29 2016 - 07:24:17 EST


I missed one to fixup for ARM. I'll send an update.