| /** @file | |
| Arch utility functions. | |
| Copyright (c) 2026, Arm Limited. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| /** | |
| Return the SoC ID formatted for the SMBIOS Type 4 Processor ID field. | |
| @param[out] ProcessorId Pointer to the SMBIOS Processor ID. | |
| @retval EFI_SUCCESS The Processor ID was returned successfully. | |
| @retval EFI_INVALID_PARAMETER ProcessorId is NULL. | |
| @retval EFI_UNSUPPORTED Unsupported. | |
| **/ | |
| EFI_STATUS | |
| GetSocId ( | |
| OUT UINT64 *ProcessorId | |
| ); |