Keir,
isn't there a problem after the change to handle tasklets in idle vcpus
in that {default,acpi_processor}_idle() will put the vcpu to sleep with
boosted priority still in place, hence preventing it from being tickled
and/or needlessly tickling other CPUs?
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|