| /* 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> |
| |
| /* VMCALL FUNCTION NUMBERS */ |
| #define VMCALL_PRINTC 0x1 |
| #define VMCALL_SMPBOOT 0x2 |
| #define VMCALL_GET_TSCFREQ 0x3 |
| #define VMCALL_TRACE_TF 0x4 |
| |
| #define VMM_CTL_GET_EXITS 1 |
| #define VMM_CTL_SET_EXITS 2 |
| #define VMM_CTL_GET_FLAGS 3 |
| #define VMM_CTL_SET_FLAGS 4 |
| |
| #define VMM_CTL_EXIT_HALT (1 << 0) |
| #define VMM_CTL_EXIT_PAUSE (1 << 1) |
| #define VMM_CTL_EXIT_MWAIT (1 << 2) |
| #define VMM_CTL_ALL_EXITS ((1 << 3) - 1) |
| |
| #define VMM_CTL_FL_KERN_PRINTC (1 << 0) |
| #define VMM_CTL_ALL_FLAGS (VMM_CTL_FL_KERN_PRINTC) |