Does unmap() flush tlb on other cores

Yuxin Ren ryx at
Fri Sep 19 03:38:30 CEST 2014

Hi All,

I have question about tlb flush.
When a memory page is unmaped, do we always flush tlb of all other cores?
Or do we have some way to track which core to flush?
If so, how do we track that information?
And it would be better if some one can show the code in the kernel to do

Thanks a lot.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list