I don't think there should be a TLB flush for a switch between threads, as they share a memory space. It's only necessary for switching between processes. http

I don't think there should be a TLB flush for a switch between threads, as they share a memory space. It's only necessary for switching between processes. https://stackoverflow.com/a/5440165/ https://stackoverflow.com/a/5440165/