On 29/04/20 11:36, Vitaly Kuznetsov wrote: > + > + Type 1 page (page missing) events are currently always delivered as > + synthetic #PF exception. Type 2 (page ready) are either delivered > + by #PF exception (when bit 3 of MSR_KVM_ASYNC_PF_EN is clear) or > + via an APIC interrupt (when bit 3 set). APIC interrupt delivery is > + controlled by MSR_KVM_ASYNC_PF2. I think we should (in the non-RFC version) block async page faults completely and only keep APF_HALT unless the guest is using page ready interrupt delivery. Paolo