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