is_writable_pte
if (!is_writable_pte(spte) &&
if (is_writable_pte(new_spte) && !is_writable_pte(old_spte))
if (!is_writable_pte(spte) && is_mmu_writable_spte(spte))
return is_writable_pte(spte) && !(spte & shadow_dirty_mask);
if ((!is_last_spte(old_spte, level) || !is_writable_pte(old_spte)) &&
WARN_ONCE(is_writable_pte(spte),
return is_writable_pte(spte);
is_writable_pte(mmu, pml4e), is_nx_pte(mmu, pml4e));
PTE_GET_PFN(*pdpe), is_writable_pte(mmu, pdpe),
PTE_GET_PFN(*pde), is_writable_pte(mmu, pde),
is_writable_pte(mmu, pte),