/** @file
*
*  Copyright (c) 2025, ARM Limited. All rights reserved.
*
*  SPDX-License-Identifier: BSD-2-Clause-Patent
*
**/

#pragma once

/** Returns the SOC ID, formatted for the SMBIOS Type 4 Processor ID field.

    @param Processor ID.

    @return 0 on success
    @return EFI_UNSUPPORTED if SMCCC_ARCH_SOC_ID is not implemented
**/
UINT64
SmbiosSmcGetSocId (
  UINT64  *ProcessorId
  );