On 05/06/17 17:46, Boris Ostrovsky wrote:>> +static void evtchn_bind_interdom_next_vcpu(int evtchn)> +{> + unsigned int selected_cpu, irq;> + struct irq_desc *desc = NULL; <====>Oh, thanks. I will send out a V2, with the modifications.-Anoob.