Searched refs:EFI_SMI_CPU_SAVE_STATE (Results 1 – 3 of 3) sorted by relevance
182 } EFI_SMI_CPU_SAVE_STATE; typedef308 EFI_SMI_CPU_SAVE_STATE Ia32SaveState;
182 EFI_SMI_CPU_SAVE_STATE *SaveState; in ReadCpuSaveState()234 EFI_SMI_CPU_SAVE_STATE *SaveState; in WriteCpuSaveState()
1265 EFI_SMI_CPU_SAVE_STATE Ia32SaveState;