search for: arch_cpu_release

Is there any real user for this vIRQ? I''m asking because, while debugging a problem that required to add some printk()s that could temporarily issue at a high rate, I ran into the situation that this extra output prevented guest/dom0 boot from making any progress. As I then realized this was due to the tasklet_schedule() called from inside the console handling code, which resulted in

Is there any real user for this vIRQ? I''m asking because, while debugging a problem that required to add some printk()s that could temporarily issue at a high rate, I ran into the situation that this extra output prevented guest/dom0 boot from making any progress. As I then realized this was due to the tasklet_schedule() called from inside the console handling code, which resulted in