tree 21ef689a24a2a05a6c0e208fb08eed5f3c80d366
parent 599783221ae45cf4a7587ed3293e3e1996313658
author Wedson Almeida Filho <wedsonaf@google.com> 1540390549 +0100
committer Wedson Almeida Filho <wedsonaf@google.com> 1540392172 +0100

Eliminate vm_set_current.

It is a potential source of bugs if we forget to call it, and is
leftover from when hafnium had a scheduler.

Change-Id: I1ce07302ea4c40578fde43a4277b628abf3e4918