1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #ifndef __EM64T100_SAVE_STATE_H__
4 #define __EM64T100_SAVE_STATE_H__
7 #include <cpu/x86/smm.h>
9 /* Intel Revision 30100 SMM State-Save Area */
11 #define SMM_EM64T100_ARCH_OFFSET 0x7c00
12 #define SMM_EM64T100_SAVE_STATE_OFFSET \
13 SMM_SAVE_STATE_BEGIN(SMM_EM64T100_ARCH_OFFSET)
90 } __packed em64t100_smm_state_save_area_t
;