Add READ_ONCE and WRITE_ONCE (XCC)
[akaros.git] / kern / include / ros / vmm.h
1 /* Copyright (c) 2015 Google Inc.
2  * Barret Rhoden <brho@cs.berkeley.edu>
3  * See LICENSE for details.
4  *
5  * Arch-independent VMM kernel headers */
6
7 #pragma once
8
9 #include <ros/arch/vmm.h>
10
11 #define VMM_VMCALL_PRINTF       0x1     /* Enable VMCALL output console hack */
12
13 /* VMCALL FUNCTION NUMBERS */
14 #define VMCALL_PRINTC           0x1
15 #define VMCALL_SMPBOOT          0x2
16
17 #define VMM_ALL_FLAGS   (VMM_VMCALL_PRINTF)