tree 0b7e2961efb4c7d0fb3b364d9a7de9717bc61083
parent d615cdbf21c0b8bbc2ab37695175438e9995b634
author Wedson Almeida Filho <wedsonaf@google.com> 1540390413 +0100
committer Wedson Almeida Filho <wedsonaf@google.com> 1540391874 +0100

Move vcpu_switch below sync_lower_64_switch to eliminate branch.

Change-Id: I2d3b6f21199809dbcdeb29ec76785cd69b4988a7