Searched refs:Buffer32 (Results 1 – 2 of 2) sorted by relevance
/device/linaro/bootloader/edk2/Vlv2TbltDevicePkg/PlatformSetupDxe/ |
D | SetupInfoRecords.c | 933 UINT32 Buffer32 = 0xFFFFFFFF; // Keep buffer with unknown device 968 Buffer32 =(UINT32) RShiftU64 (EfiReadMsr (MSR_IA32_PLATFORM_ID), 50) & 0x07; 970 switch(Buffer32){ 972 UnicodeSPrint (Buffer, sizeof (Buffer), L"(%d) - ISG SKU SOC", Buffer32); 975 UnicodeSPrint (Buffer, sizeof (Buffer), L"(%d) - Mobile SKU SOC", Buffer32); 978 UnicodeSPrint (Buffer, sizeof (Buffer), L"(%d) - Desktop SKU SOC", Buffer32); 981 UnicodeSPrint (Buffer, sizeof (Buffer), L"(%d) - Mobile SKU SOC", Buffer32); 984 UnicodeSPrint (Buffer, sizeof (Buffer), L"(%d) - Unknown SKU SOC", Buffer32); in SearchChildHandle()
|
/device/linaro/bootloader/edk2/Vlv2TbltDevicePkg/PlatformDxe/ |
D | Platform.c | 553 UINT32 Buffer32 = 0; in InitPciDevPME() local 562 Buffer32 = MmioRead32(EhciPciMmBase + R_PCH_EHCI_PWR_CNTL_STS); in InitPciDevPME() 563 DEBUG ((EFI_D_INFO, "ConfigureAdditionalPm() R_PCH_EHCI_PWR_CNTL_STS = 0x%x \n",Buffer32)); in InitPciDevPME()
|