Does unmap() flush tlb on other cores

Yuxin Ren <[email protected]> Thu, 18 Sep 2014 21:38:30 -0400

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAAKbDrcsbh71qw1bk__zQyk8w57zyq7S=U6HKbsdez0a5mwLPQ@mail.gmail.com>

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
that.

Thanks a lot.
Yuxin

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers