// Note: For IA32, only the 4 bytes immediately preceding IDT is used to store\r
// EFI_PEI_SERVICES**\r
//\r
- UINT64 PeiService;\r
- UINT64 IdtTable[SEC_IDT_ENTRY_COUNT];\r
+ UINT64 PeiService;\r
+ IA32_IDT_GATE_DESCRIPTOR IdtTable[SEC_IDT_ENTRY_COUNT];\r
} SEC_IDT_TABLE;\r
\r
/**\r