On Wed, Feb 09, 2022, Paolo Bonzini wrote: > We will use is_cr0_pg to check whether a page fault can be delivered. I strongly prefer we keep these MMU-only, the terse names were deemed safe specifically because they are encapsulated in mmu.c. The async #PF case can use is_paging(vcpu).
