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
- 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
- http://opensource.org/licenses/bsd-license.php \r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+ Copyright (c) 2009 - 2018, Intel Corporation. All rights reserved.<BR>\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
\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