4
#include "types.h" // u32
6
static inline u8 pci_bdf_to_bus(u16 bdf) {
9
static inline u8 pci_bdf_to_devfn(u16 bdf) {
12
static inline u16 pci_bdf_to_busdev(u16 bdf) {
15
static inline u8 pci_bdf_to_dev(u16 bdf) {
16
return (bdf >> 3) & 0x1f;
18
static inline u8 pci_bdf_to_fn(u16 bdf) {
21
static inline u16 pci_to_bdf(int bus, int dev, int fn) {
22
return (bus<<8) | (dev<<3) | fn;
24
static inline u16 pci_bus_devfn_to_bdf(int bus, u16 devfn) {
25
return (bus << 8) | devfn;
28
#define foreachbdf(BDF, BUS) \
29
for (BDF=pci_next(pci_bus_devfn_to_bdf((BUS), 0)-1, (BUS)) \
31
; BDF=pci_next(BDF, (BUS)))
33
void pci_config_writel(u16 bdf, u32 addr, u32 val);
34
void pci_config_writew(u16 bdf, u32 addr, u16 val);
35
void pci_config_writeb(u16 bdf, u32 addr, u8 val);
36
u32 pci_config_readl(u16 bdf, u32 addr);
37
u16 pci_config_readw(u16 bdf, u32 addr);
38
u8 pci_config_readb(u16 bdf, u32 addr);
39
void pci_config_maskw(u16 bdf, u32 addr, u16 off, u16 on);
40
int pci_next(int bdf, int bus);
41
int pci_probe_host(void);
42
void pci_reboot(void);