On 20/09/2018 00:13, Sean Christopherson wrote: > Works for me, I all but literally flipped a coin when choosing between > the two approaches. Do you want me to send a v2 with this change and > hv_timer_armed moved to loaded_vmcs? No, I'm sending it now (the above doesn't actually compile, it was just a sketch). Paolo
