tree bfca267e21c591a0dd4efb9397e9ad86a1b26528
parent e98277149b53a132e5a80f06f48ce92258e0dd60
author Wedson Almeida Filho <wedsonaf@google.com> 1539857964 +0100
committer Wedson Almeida Filho <wedsonaf@google.com> 1539962867 +0000

Store current vcpu instead of cpu in tpidr_el2.

This allows us to avoid an extra indirection in the most common paths.

Change-Id: I2ea71ee1a56ee8b94f7f516465081e88e82d8539