src/soc/intel/xeon_sp/skx/soc_acpi.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <acpi/acpigen.h>
   4 #include <arch/smp/mpspec.h>
   5 #include <arch/vga.h>
   6 #include <cpu/intel/turbo.h>
   7 #include <device/mmio.h>
   8 #include <device/pci.h>
   9 #include <intelblocks/acpi.h>
  10 #include <soc/acpi.h>
  11 #include <soc/iomap.h>
  12 #include <soc/msr.h>
  13 #include <soc/pci_devs.h>
  14 #include <soc/pm.h>
  15 #include <soc/soc_util.h>
  16 #include <soc/util.h>
  17
  18 int soc_madt_sci_irq_polarity(int sci)
  19 {
  20         if (sci >= 20)
  21                 return MP_IRQ_POLARITY_LOW;
  22         else
  23                 return MP_IRQ_POLARITY_HIGH;
  24 }
  25
  26 uint32_t soc_read_sci_irq_select(void)
  27 {
  28         struct device *dev = PCH_DEV_PMC;
  29
  30         if (!dev)
  31                 return 0;
  32
  33         return pci_read_config32(dev, PMC_ACPI_CNT);
  34 }
  35
  36 void soc_fill_fadt(acpi_fadt_t *fadt)
  37 {
  38         const uint16_t pmbase = ACPI_BASE_ADDRESS;
  39
  40         /* Fix flags set by common/block/acpi/acpi.c acpi_fill_fadt() */
  41         fadt->flags &=  ~(ACPI_FADT_SEALED_CASE);
  42         fadt->flags |= ACPI_FADT_SLEEP_TYPE;
  43
  44         fadt->pm2_cnt_blk = pmbase + PM2_CNT;
  45         fadt->pm_tmr_blk = pmbase + PM1_TMR;
  46
  47         fadt->pm2_cnt_len = 1;
  48         fadt->pm_tmr_len = 4;
  49
  50         fadt->iapc_boot_arch = ACPI_FADT_LEGACY_DEVICES;
  51
  52         /* PM Extended Registers */
  53         fill_fadt_extended_pm_io(fadt);
  54 }
  55
  56 void soc_power_states_generation(int core_id, int cores_per_package)
  57 {
  58         generate_p_state_entries(core_id, cores_per_package);
  59 }