2 Provide constructor and GetTick for Base instance of ACPI Timer Library
4 Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
6 This program and the accompanying materials are licensed and made
7 available under the terms and conditions of the BSD License which
8 accompanies this distribution. The full text of the license may
9 be found at http://opensource.org/licenses/bsd-license.php
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #include <Library/DebugLib.h>
16 #include <Library/IoLib.h>
17 #include <Library/PciLib.h>
18 #include <Library/PcdLib.h>
19 #include <OvmfPlatforms.h>
22 // Power Management PCI Configuration Register fields
27 // Offset in the Power Management Base Address to the ACPI Timer
29 #define ACPI_TIMER_OFFSET 0x8
32 // Cached ACPI Timer IO Address
34 STATIC UINT32 mAcpiTimerIoAddr
;
37 The constructor function caches the ACPI tick counter address, and,
38 if necessary, enables ACPI IO space.
40 @retval EFI_SUCCESS The constructor always returns RETURN_SUCCESS.
45 AcpiTimerLibConstructor (
49 UINT16 HostBridgeDevId
;
55 // Query Host Bridge DID to determine platform type
57 HostBridgeDevId
= PciRead16 (OVMF_HOSTBRIDGE_DID
);
58 switch (HostBridgeDevId
) {
59 case INTEL_82441_DEVICE_ID
:
60 Pmba
= POWER_MGMT_REGISTER_PIIX4 (PIIX4_PMBA
);
61 AcpiCtlReg
= POWER_MGMT_REGISTER_PIIX4 (PIIX4_PMREGMISC
);
62 AcpiEnBit
= PIIX4_PMREGMISC_PMIOSE
;
64 case INTEL_Q35_MCH_DEVICE_ID
:
65 Pmba
= POWER_MGMT_REGISTER_Q35 (ICH9_PMBASE
);
66 AcpiCtlReg
= POWER_MGMT_REGISTER_Q35 (ICH9_ACPI_CNTL
);
67 AcpiEnBit
= ICH9_ACPI_CNTL_ACPI_EN
;
70 DEBUG ((EFI_D_ERROR
, "%a: Unknown Host Bridge Device ID: 0x%04x\n",
71 __FUNCTION__
, HostBridgeDevId
));
73 return RETURN_UNSUPPORTED
;
76 mAcpiTimerIoAddr
= (PciRead32 (Pmba
) & ~PMBA_RTE
) + ACPI_TIMER_OFFSET
;
79 // Check to see if the Power Management Base Address is already enabled
81 if ((PciRead8 (AcpiCtlReg
) & AcpiEnBit
) == 0) {
83 // If the Power Management Base Address is not programmed,
84 // then program the Power Management Base Address from a PCD.
86 PciAndThenOr32 (Pmba
, (UINT32
) ~0xFFC0, PcdGet16 (PcdAcpiPmBaseAddress
));
89 // Enable PMBA I/O port decodes
91 PciOr8 (AcpiCtlReg
, AcpiEnBit
);
94 return RETURN_SUCCESS
;
98 Internal function to read the current tick counter of ACPI.
100 Read the current ACPI tick counter using the counter address cached
101 by this instance's constructor.
103 @return The tick counter read.
107 InternalAcpiGetTimerTick (
112 // Return the current ACPI timer value.
114 return IoRead32 (mAcpiTimerIoAddr
);