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));
}
