On 27/06/2017 16:22, Radim Krčmář wrote: > vcpu_is_preempted() on current cpu cannot return true, AFAIK. Of course. I must have been thinking of an older version of the vcpu_is_preempted patch (at some point the guest was the one that set preempted to 0). Paolo -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html