"value":"insufficient TLB flush for x86 PV guests in shadow mode For migration as well as to work around kernels unaware of L1TF (see XSA-273), PV guests may be run in shadow paging mode. To address XSA-401, code was moved inside a function in Xen. This code movement missed a variable changing meaning / value between old and new code positions. The now wrong use of the variable did lead to a wrong TLB flush condition, omitting flushes where such are necessary."
},
{
"lang":"es",
"value":"Un vaciado insuficiente del TLB para hu\u00e9spedes x86 PV en modo de sombra Para la migraci\u00f3n, as\u00ed como para trabajar en torno a los kernels que no son conscientes de L1TF (v\u00e9ase XSA-273), los hu\u00e9spedes PV pueden ejecutarse en modo de paginaci\u00f3n de sombra. Para abordar XSA-401, el c\u00f3digo fue movido dentro de una funci\u00f3n en Xen. Este movimiento de c\u00f3digo pas\u00f3 por alto una variable que cambiaba de significado/valor entre las posiciones de c\u00f3digo antiguas y nuevas. El uso ahora err\u00f3neo de la variable conllevaba a una condici\u00f3n err\u00f3nea de vaciado de la TLB, omitiendo el vaciado cuando era necesario."