PT_HAVE_ACCESSED_DIRTY
if (!PT_HAVE_ACCESSED_DIRTY(mmu))
if (PT_HAVE_ACCESSED_DIRTY(vcpu->arch.mmu) &&
have_ad = PT_HAVE_ACCESSED_DIRTY(mmu);