4 /// Copyright (c) 2006, Intel Corporation<BR>
5 /// All rights reserved. This program and the accompanying materials
6 /// are licensed and made available under the terms and conditions of the BSD License
7 /// which accompanies this distribution. The full text of the license may be found at
8 /// http://opensource.org/licenses/bsd-license.php
10 /// THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 /// WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 /// Module Name: ia_64gen.h
31 #define T_BSPSTORE 0x50
34 #define T_KBSPSTORE 0x68
152 #define TRAP_FRAME_LENGTH 0x3d0
156 #define C_BSPSTORE 0x10