Marcelo Tosatti wrote:
Thanks for your fast answer and for your help for debugging.

If you confirm that FreeBSD is indeed relying on cr3 to sync global
pages, it might be better to disable the optimization. Lets hope that is
not the case.

cr3 writes explicitly do not flush global pages; otherwise what would be the point of global pages at all?

In other words, the only difference between global and non-global pages is visible via cr3 writes.

--
error compiling committee.c: too many arguments to function

--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to