commit 84a30a0de2d5c70830e17c747b9fb05476babef0
author Wedson Almeida Filho <wedsonaf@google.com> Mon Jul 23 20:05:05 2018 +0100
committer Wedson Almeida Filho <wedsonaf@google.com> Tue Jul 24 02:17:09 2018 +0100
tree 141d02c9f9b1f6beb2c8b5c0a9dcf8f07fc9e059
parent 9ee60e930d0b6026632977d0ece9031e1251b709

Enable stage-2 MMU.

src/api.c

diff --git a/src/api.c b/src/api.c
index 31ff376..0030473 100644
--- a/src/api.c
+++ b/src/api.c
@@ -49,7 +49,7 @@
 		return HF_VCPU_WAIT_FOR_INTERRUPT;
 	}
 
-	arch_set_vm_mm(&vm->page_table);
+	vm_set_current(vm);
 	*next = vcpu;
 
 	return HF_VCPU_YIELD;
@@ -64,7 +64,7 @@
 	struct vcpu *vcpu = &primary_vm.vcpus[cpu_index(cpu())];
 
 	/* Switch back to primary VM. */
-	arch_set_vm_mm(&primary_vm.page_table);
+	vm_set_current(&primary_vm);
 
 	/*
 	 * Inidicate to primary VM that this vcpu blocked waiting for an