Initialization (INIT) events, and Platform Management Interrupt (PMI) events\r
on an Intel Itanium Processor Family based system.\r
\r
- Copyright (c) 2009, Intel Corporation \r
+ Copyright (c) 2009 - 2010, Intel Corporation \r
All rights reserved. This program and the accompanying materials \r
are licensed and made available under the terms and conditions of the BSD License \r
which accompanies this distribution. The full text of the license may be found at \r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_MCA_HANDLER) (\r
+(EFIAPI *EFI_SAL_MCA_HANDLER)(\r
IN VOID *ModuleGlobal,\r
IN UINT64 ProcessorStateParameters,\r
IN EFI_PHYSICAL_ADDRESS MinstateBase,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_INIT_HANDLER) (\r
+(EFIAPI *EFI_SAL_INIT_HANDLER)(\r
IN VOID *ModuleGlobal,\r
IN UINT64 ProcessorStateParameters,\r
IN EFI_PHYSICAL_ADDRESS MinstateBase,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_PMI_HANDLER) (\r
+(EFIAPI *EFI_SAL_PMI_HANDLER)(\r
IN VOID *ModuleGlobal,\r
IN UINT64 CpuIndex,\r
IN UINT64 PmiVector\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_REGISTER_MCA_HANDLER) (\r
+(EFIAPI *EFI_SAL_REGISTER_MCA_HANDLER)(\r
IN EFI_SAL_MCA_INIT_PMI_PROTOCOL *This,\r
IN EFI_SAL_MCA_HANDLER McaHandler,\r
IN VOID *ModuleGlobal,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_REGISTER_INIT_HANDLER) (\r
+(EFIAPI *EFI_SAL_REGISTER_INIT_HANDLER)(\r
IN EFI_SAL_MCA_INIT_PMI_PROTOCOL *This,\r
IN EFI_SAL_INIT_HANDLER InitHandler,\r
IN VOID *ModuleGlobal,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_SAL_REGISTER_PMI_HANDLER) (\r
+(EFIAPI *EFI_SAL_REGISTER_PMI_HANDLER)(\r
IN EFI_SAL_MCA_INIT_PMI_PROTOCOL *This,\r
IN EFI_SAL_PMI_HANDLER PmiHandler,\r
IN VOID *ModuleGlobal,\r