1 // Copyright 2017 The Fuchsia Authors
2 //
3 // Use of this source code is governed by a MIT-style
4 // license that can be found in the LICENSE file or at
5 // https://opensource.org/licenses/MIT
6 
7 #pragma once
8 
9 #include <limits.h>
10 
11 // clang-format off
12 
13 #define VMO_SIZE        0x1000000
14 #define TRAP_PORT       0x11
15 #define TRAP_ADDR       (VMO_SIZE - PAGE_SIZE * 2)
16 #define EXIT_TEST_ADDR  (VMO_SIZE - PAGE_SIZE)
17 
18 #if __x86_64__
19 #define GUEST_ENTRY     0x2000
20 #define X86_CR0_NE      0x00000020 /* enable x87 exception */
21 #endif
22