On 27/11/2017 20:58, Christoffer Dall wrote: > Going back and looking, it's nicer to avoid the pid adjustment call, and > having vcpu_load be void is also convenient, but we're stuck with the > ifdef. I guess I lean towards your suggestion as well, given that my > problem with the ifdef is not a technical one, but an aesthetic one. Same here, so I think we're in agreement. Paolo
