| commit | 84a30a0de2d5c70830e17c747b9fb05476babef0 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
Enable stage-2 MMU.
diff --git a/src/arch/aarch64/handler.c b/src/arch/aarch64/handler.c index 94a9722..6c00067 100644 --- a/src/arch/aarch64/handler.c +++ b/src/arch/aarch64/handler.c
@@ -92,7 +92,7 @@ * VM. */ /* Switch back to primary VM, interrupts will be handled there. */ - arch_set_vm_mm(&primary_vm.page_table); + vm_set_current(&primary_vm); return &primary_vm.vcpus[cpu_index(cpu())]; }