> There's another issue, which is the fact that I do not believe that invlpg
> is even guaranteed to invalidate a G page at all - although obviously all
> current CPU's seem to work that way. However, I don't see that documented
> anywhere.
You haven't read the P4 system architecture manual, section 3.11.
It explicitly says that invlpg ignores the G flag.
--=-+fyxyEv1+wipM/Ld/Wa6
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: This is a digitally signed message part
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQA9a+Tpdjkty3ft5+cRAqB4AJ4luCRj55sPrngbvtVLgHfeowaWZACfbUv4
ahy/vrMcz/Qa/vOUMSweTrE=
=Xutp
-----END PGP SIGNATURE-----
--=-+fyxyEv1+wipM/Ld/Wa6--
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/