On 28/04/2015 16:10, Christian Borntraeger wrote: > > Alternatively, the irq-disabled versions could be called > > __kvm_guest_{enter,exit}. Then you can use those directly when it makes > > sense. > > ..having a special __kvm_guest_{enter,exit} without the WARN_ON might be even > the cheapest way. In that way I could leave everything besides s390 alone and > arch maintainers can do a followup patch if appropriate. That's certainly fine with me. Paolo