Why MADV_FREE still needs a TLB shootdown

The write-to-revive semantics of MADV_FREE defeat the original dream of avoiding TLB shootdowns

The whole point of MADV_FREE was supposed to be to avoid a TLB shootdown but because of the "writing to the page revives it" requirement, it still requires a TLB shootdown. I've shattered multiple people's dreams by pointing this out to the