56 lines
1.6 KiB
C
56 lines
1.6 KiB
C
/** @file
|
|
|
|
;******************************************************************************
|
|
;* Copyright (c) 2014, Insyde Software Corporation. All Rights Reserved.
|
|
;*
|
|
;* You may not reproduce, distribute, publish, display, perform, modify, adapt,
|
|
;* transmit, broadcast, present, recite, release, license or otherwise exploit
|
|
;* any part of this publication in any form, by any means, without the prior
|
|
;* written permission of Insyde Software Corporation.
|
|
;*
|
|
;******************************************************************************
|
|
*/
|
|
|
|
/*++
|
|
Module Name:
|
|
|
|
OemBadginsSupportDxe.h
|
|
|
|
Abstract:
|
|
|
|
Header file for EFI OEM badging support driver
|
|
|
|
--*/
|
|
|
|
#ifndef _EFI_OEM_BADGING_SUPPORT_H
|
|
#define _EFI_OEM_BADGING_SUPPORT_H
|
|
|
|
#define EFI_CPUID_SIGNATURE 0x0
|
|
#define EFI_CPUID_VERSION_INFO 0x1
|
|
#define EFI_CPUID_CACHE_PARAMS 0x4
|
|
|
|
#define EFI_OEM_BADGING_FILENAME_INTEL_IMB \
|
|
{ \
|
|
0x931F00D1, 0x10FE, 0x48bf, 0xAB, 0x72, 0x77, 0x3D, 0x38, 0x9E, 0x3F, 0xDA \
|
|
}
|
|
|
|
#define EFI_OEM_BADGING_FILENAME_INTEL_ICR \
|
|
{ \
|
|
0xA4A9F7B8, 0x24A4, 0x4ea2, 0xB1, 0xC6, 0x14, 0x55, 0x99, 0xB2, 0xDF, 0x64 \
|
|
}
|
|
|
|
#define EFI_INSYDE_BOOT_BADGING_GUID \
|
|
{ \
|
|
0x931F77D1, 0x10FE, 0x48bf, 0xAB, 0x72, 0x77, 0x3D, 0x38, 0x9E, 0x3F, 0xAA \
|
|
}
|
|
|
|
#define FAMILYMODEL_MASK 0x0FF0 // Family/Model Code.
|
|
#define FAMILYMODEL_PRESCOTT_F4x 0x0F40 // Prescott F4x family/model code.
|
|
#define FAMILY_CONROE 0x06F0 // Conroe
|
|
|
|
#define CHIPSET_VENDOR_ID_INTEL 0x8086
|
|
#define B_HYPER_THREADING_TECH (1 << 28)
|
|
#define B_LOGICAL_PROCESSOR_COUNT 0xFF0000
|
|
|
|
#endif
|