4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync Definition of EBC Support function.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCopyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncThis program and the accompanying materials
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncare licensed and made available under the terms and conditions of the BSD License
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncwhich accompanies this distribution. The full text of the license may be found at
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncTHE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncWITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// For code execution, thunks must be aligned on 16-byte boundary
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Opcodes for IPF instructions. We'll need to hand-create thunk code (stuffing
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// bits) to insert a jump to the interpreter.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync#define OPCODE_BR_COND_SPTK_FEW (UINT64) 0x00100000000
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Opcode for MOVL instruction