int raw_pci_write(unsigned int domain, unsigned int bus, unsigned int devfn, int reg, int len, u32 value) { l4_uint32_t df = (PCI_SLOT(devfn) << 16) | PCI_FUNC(devfn); return L4XV_FN_i(l4vbus_pci_cfg_write(vbus, root_bridge, bus, df, reg, value, len * 8)); }
static int pci_conf1_write(unsigned int seg, unsigned int bus, unsigned int devfn, int reg, int len, u32 value) { l4_uint32_t df = (PCI_SLOT(devfn) << 16) | PCI_FUNC(devfn); int r; L4XV_V(f); L4XV_L(f); r = l4vbus_pci_cfg_write(vbus, root_bridge, bus, df, reg, value, len * 8); L4XV_U(f); return r; }
void write_pci_config(u8 bus, u8 slot, u8 func, u8 offset, u32 val) { L4XV_FN_v(l4vbus_pci_cfg_write(vbus, root_bridge, bus, (slot << 16) | func, offset, val, 32)); }