EXTERN_C int ddekit_pci_read(int bus, int slot, int func, int pos, int len, ddekit_uint32_t *val)
{
l4_uint32_t devfn = (slot << 16) | func;
EXTERN_C int ddekit_pci_read(int bus, int slot, int func, int pos, int len, ddekit_uint32_t *val)
{
l4_uint32_t devfn = (slot << 16) | func;