> Laurent Vivier wrote:
>> According comments from Avi, we can clear PF_VCPU in kvm_guest_exit if we move
>> it after local_irq_enable().
>>
>>
http://lkml.org/lkml/2007/10/15/114
>>
>> To simplify s390 port, we don't clear it in account_system_time().
>>
>>
http://lkml.org/lkml/2007/10/15/183
>>
>
> Applied (the kvm part), and added a fat comment on the barrier. Can you
> send a signed-off-by: line?
>