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