| /* Copyright (c) 2015 Google Inc. |
| * Barret Rhoden <brho@cs.berkeley.edu> |
| * See LICENSE for details. |
| * |
| * Arch-independent VMM kernel headers */ |
| |
| #pragma once |
| |
| #include <ros/arch/vmm.h> |
| |
| #define VMM_VMCALL_PRINTF 0x1 /* Enable VMCALL output console hack */ |
| |
| /* VMCALL FUNCTION NUMBERS */ |
| #define VMCALL_PRINTC 0x1 |
| #define VMCALL_SMPBOOT 0x2 |
| |
| #define VMM_ALL_FLAGS (VMM_VMCALL_PRINTF) |
| |
| #define VMM_CTL_GET_EXITS 1 |
| #define VMM_CTL_SET_EXITS 2 |
| #define VMM_CTL_EXIT_HALT (1 << 0) |
| #define VMM_CTL_EXIT_PAUSE (1 << 1) |
| #define VMM_CTL_ALL_EXITS ((1 << 2) - 1) |
