coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
acpigen_pci.h
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#ifndef ACPIGEN_PCI_H
4
#define ACPIGEN_PCI_H
5
6
#include <
device/device.h
>
7
#include <
device/pci_def.h
>
8
#include <
device/pci_type.h
>
9
10
void
acpigen_write_ADR_pci_devfn
(
pci_devfn_t
devfn);
11
void
acpigen_write_ADR_pci_device
(
const
struct
device
*dev);
12
13
void
acpigen_write_PRT_GSI_entry
(
unsigned
int
pci_dev
,
unsigned
int
acpi_pin,
unsigned
int
gsi);
14
void
acpigen_write_PRT_source_entry
(
unsigned
int
pci_dev
,
unsigned
int
acpi_pin,
15
const
char
*source_path,
unsigned
int
index);
16
17
#endif
/* ACPIGEN_PCI_H */
acpigen_write_ADR_pci_devfn
void acpigen_write_ADR_pci_devfn(pci_devfn_t devfn)
Definition:
acpigen_pci.c:11
acpigen_write_PRT_GSI_entry
void acpigen_write_PRT_GSI_entry(unsigned int pci_dev, unsigned int acpi_pin, unsigned int gsi)
Definition:
acpigen_pci.c:28
acpigen_write_ADR_pci_device
void acpigen_write_ADR_pci_device(const struct device *dev)
Definition:
acpigen_pci.c:22
acpigen_write_PRT_source_entry
void acpigen_write_PRT_source_entry(unsigned int pci_dev, unsigned int acpi_pin, const char *source_path, unsigned int index)
Definition:
acpigen_pci.c:43
pci_dev
#define pci_dev
Definition:
aspeed_coreboot.h:21
device.h
pci_def.h
pci_type.h
pci_devfn_t
u32 pci_devfn_t
Definition:
pci_type.h:8
device
Definition:
device.h:107
src
include
acpi
acpigen_pci.h
Generated by
1.9.1