You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

47 lines
1.2 KiB

/*
* Copyright 2002-2019 Intel Corporation.
*
* This software is provided to you as Sample Source Code as defined in the accompanying
* End User License Agreement for the Intel(R) Software Development Products ("Agreement")
* section 1.L.
*
* This software and the related documents are provided as is, with no express or implied
* warranties, other than those that are expressly stated in the License.
*/
#ifndef INSFAULT_INTEL64_H
#define INSFAULT_INTEL64_H
#include "types.h"
// The assembly file sets these to the expected values for each register.
//
extern "C" UINT64 ExpectedPC;
extern "C" UINT64 ExpectedR8;
extern "C" UINT64 ExpectedR9;
extern "C" UINT64 ExpectedR10;
extern "C" UINT64 ExpectedR11;
extern "C" UINT64 ExpectedR12;
extern "C" UINT64 ExpectedR13;
extern "C" UINT64 ExpectedR14;
extern "C" UINT64 ExpectedR15;
extern "C" UINT64 ExpectedRDI;
extern "C" UINT64 ExpectedRSI;
extern "C" UINT64 ExpectedRBP;
extern "C" UINT64 ExpectedRBX;
extern "C" UINT64 ExpectedRDX;
extern "C" UINT64 ExpectedRAX;
extern "C" UINT64 ExpectedRCX;
extern "C" UINT64 ExpectedRSP;
extern "C" UINT64 ExpectedEFLAGS;
// Mask of bits to check in EFLAGS:
//
// AC, OF, DF, TF, SF, ZF, AF, PF, CF
//
static const UINT64 EFLAGS_MASK = 0x40dd5;
#endif