| // Copyright 2017 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #pragma once |
| |
| #include <limits.h> |
| |
| // clang-format off |
| |
| #define VMO_SIZE 0x1000000 |
| #define TRAP_PORT 0x11 |
| #define TRAP_ADDR (VMO_SIZE - PAGE_SIZE * 2) |
| #define EXIT_TEST_ADDR (VMO_SIZE - PAGE_SIZE) |
| |
| #if __x86_64__ |
| #define GUEST_ENTRY 0x2000 |
| #define X86_CR0_NE 0x00000020 /* enable x87 exception */ |
| #define X86_CR4_OSFXSR 0x00000200 /* os supports fxsave */ |
| #endif |
