HomeSort by relevance Sort by last modified time
    Searched refs:EFI_GET_MAXIMUM_PROCESSOR_INDEX (Results 1 - 3 of 3) sorted by null

  /device/linaro/bootloader/edk2/EdkCompatibilityPkg/Foundation/Efi/Protocol/DebugSupport/
DebugSupport.h 552 (EFIAPI *EFI_GET_MAXIMUM_PROCESSOR_INDEX) (
588 EFI_GET_MAXIMUM_PROCESSOR_INDEX GetMaximumProcessorIndex;
  /external/syslinux/gpxe/src/include/gpxe/efi/Protocol/
DebugSupport.h 541 (EFIAPI *EFI_GET_MAXIMUM_PROCESSOR_INDEX)(
626 EFI_GET_MAXIMUM_PROCESSOR_INDEX GetMaximumProcessorIndex;
  /device/linaro/bootloader/edk2/MdePkg/Include/Protocol/
DebugSupport.h 685 (EFIAPI *EFI_GET_MAXIMUM_PROCESSOR_INDEX)(
770 EFI_GET_MAXIMUM_PROCESSOR_INDEX GetMaximumProcessorIndex;

Completed in 37 milliseconds