| commit | 52bb3f94597bd9fb20d85050e9ea34dc89726922 | [log] [tgz] |
|---|---|---|
| author | Wedson Almeida Filho <wedsonaf@google.com> | Mon Jul 30 15:52:38 2018 +0100 |
| committer | Wedson Almeida Filho <wedsonaf@google.com> | Mon Jul 30 15:56:56 2018 +0100 |
| tree | d9065982cf6357fa537c4b97c6f4b0abe5993d33 | |
| parent | 03e767ad0ca9ef42040722d8f9b81e639e21a39b [diff] [blame] |
Trap secondary VM access to floating point state and phys timer. Change-Id: I8bb5ef366fa58e50e7ab29f57c15b27ba0d6b7e5
diff --git a/src/vm.c b/src/vm.c index cadda86..3c4fd4d 100644 --- a/src/vm.c +++ b/src/vm.c
@@ -1,5 +1,6 @@ #include "vm.h" +#include "api.h" #include "cpu.h" #include "std.h" @@ -33,5 +34,6 @@ void vm_set_current(struct vm *vm) { + arch_cpu_update(vm == &primary_vm); arch_mm_set_vm(vm->ptable.id, (paddr_t)vm->ptable.table); }