tree 57378c1771314d1b3c485e0c1bc877bf61d8538b
parent 9553492f046a9f4e12bb09d6f77baa82071427ed
author Andrew Walbran <qwandor@google.com> 1559926646 +0100
committer Andrew Walbran <qwandor@google.com> 1560956086 +0100

Invalidate TLB if necessary when switching vCPUs.

Bug: 132422393
Change-Id: If5983b9c39c92604a75ea42839b73376577a4f65