sravan/system76-coreboot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

acpi: Add acpigen_write_PRT* helpers for generating _PRT entries

Browse Source 
Signed-off-by: Tim Wawrzynczak <twawrzynczak@chromium.org>
Change-Id: Ia666bd0e5db40d7873532dc22bc89be9854b903a
Reviewed-on: https://review.coreboot.org/c/coreboot/+/51107
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
This commit is contained in:
Tim Wawrzynczak
2021-02-26 10:54:15 -07:00
parent 93a4e0135c
commit 290979f960
2 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
src/acpi/acpigen_pci.c
View File

@@ -24,3 +24,34 @@ void acpigen_write_ADR_pci_device(const struct device *dev)
assert(dev->path.type == DEVICE_PATH_PCI); assert(dev->path.type == DEVICE_PATH_PCI);
acpigen_write_ADR_pci_devfn(dev->path.pci.devfn); acpigen_write_ADR_pci_devfn(dev->path.pci.devfn);
} }
void acpigen_write_PRT_GSI_entry(unsigned int pci_dev, unsigned int acpi_pin, unsigned int gsi)
{
acpigen_write_package(4);
acpigen_write_dword((pci_dev << 16) | 0xffff);
acpigen_write_byte(acpi_pin);
/* Source */
acpigen_write_byte(0);
/* Source Index */
acpigen_write_dword(gsi);
acpigen_pop_len(); /* Package */
}
void acpigen_write_PRT_source_entry(unsigned int pci_dev, unsigned int acpi_pin,
const char *source_path, unsigned int index)
{
acpigen_write_package(4);
acpigen_write_dword((pci_dev << 16) | 0xffff);
acpigen_write_byte(acpi_pin);
/* Source */
acpigen_emit_namestring(source_path);
/* Source Index */
acpigen_write_dword(index);
acpigen_pop_len(); /* Package */
}

4
src/include/acpi/acpigen_pci.h
View File

@@ -10,4 +10,8 @@
void acpigen_write_ADR_pci_devfn(pci_devfn_t devfn); void acpigen_write_ADR_pci_devfn(pci_devfn_t devfn);
void acpigen_write_ADR_pci_device(const struct device *dev); void acpigen_write_ADR_pci_device(const struct device *dev);
void acpigen_write_PRT_GSI_entry(unsigned int pci_dev, unsigned int acpi_pin, unsigned int gsi);
void acpigen_write_PRT_source_entry(unsigned int pci_dev, unsigned int acpi_pin,
const char *source_path, unsigned int index);
#endif /* ACPIGEN_PCI_H */ #endif /* ACPIGEN_PCI_H */