init

hc

2024-03-22 a0752693d998599af469473b8dc239ef973a012f

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
/** @file 
 
Copyright (c) 2017, Intel Corporation. All rights reserved.<BR> 
SPDX-License-Identifier: BSD-2-Clause-Patent 
 
**/ 
 
#include <Uefi.h> 
#include <PiDxe.h> 
#include <Library/TestPointCheckLib.h> 
#include <Library/TestPointLib.h> 
#include <Library/DebugLib.h> 
#include <Library/UefiLib.h> 
#include <Library/PrintLib.h> 
#include <Library/BaseMemoryLib.h> 
#include <IndustryStandard/Acpi.h> 
#include <IndustryStandard/HighPrecisionEventTimerTable.h> 
 
VOID 
DumpCharArray ( 
  IN CHAR8  *Ch, 
  IN UINTN  Size 
  ); 
 
VOID 
DumpAcpiTableHeader ( 
  IN EFI_ACPI_DESCRIPTION_HEADER  *Table 
  ); 
 
BOOLEAN 
IsMmioExit ( 
  IN EFI_PHYSICAL_ADDRESS  BaseAddress, 
  IN UINT64                Length, 
  IN BOOLEAN               CheckAllocated 
  ); 
 
VOID 
DumpAcpiHpet ( 
  IN EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER  *Hpet 
  ) 
{ 
  DumpAcpiTableHeader (&Hpet->Header); 
 
  DEBUG ((DEBUG_INFO, "         ")); 
  DEBUG ((DEBUG_INFO, " Timer :")); 
  DEBUG ((DEBUG_INFO, " BlockId=0x%08x", Hpet->EventTimerBlockId)); 
  DEBUG ((DEBUG_INFO, " BaseAddress=0x%016lx", Hpet->BaseAddressLower32Bit.Address)); 
  DEBUG ((DEBUG_INFO, " HpetNumber=0x%08x", Hpet->HpetNumber)); 
  DEBUG ((DEBUG_INFO, " MinClockTick=0x%04x", Hpet->MainCounterMinimumClockTickInPeriodicMode)); 
  DEBUG ((DEBUG_INFO, " PageProtection=0x%02x", Hpet->PageProtectionAndOemAttribute)); 
  DEBUG ((DEBUG_INFO, "\n")); 
} 
 
EFI_STATUS 
CheckAcpiHpet ( 
  IN EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER  *Hpet 
  ) 
{ 
  if (!IsMmioExit (Hpet->BaseAddressLower32Bit.Address, SIZE_4KB, TRUE)) { 
    DEBUG ((DEBUG_ERROR, "HPET resource (0x%x) is not reported correctly.\n", Hpet->BaseAddressLower32Bit.Address)); 
    return EFI_NOT_STARTED; 
  } 
  return EFI_SUCCESS; 
}