how set_pte_at()'s vaddr and ptep args relate

[jeremy at goop.org (Jeremy Fitzhardinge)]

Jeremy Fitzhardinge wrote:
> Do you mean the tlb entry gets invalidated as part of raising the 
> fault?
>   

Specifically, does it simply invalidate the TLB at that point, or does 
it re-walk the page table and populate it with the new PTE?

    J