- int cfg_read(unsigned bus, l4_uint32_t devfn, l4_uint32_t reg,
- l4_uint32_t *value, Cfg_width);
-
- int cfg_write(unsigned bus, l4_uint32_t devfn, l4_uint32_t reg,
- l4_uint32_t value, Cfg_width);
+ int cfg_read(Cfg_addr addr, l4_uint32_t *value, Cfg_width);
+ int cfg_write(Cfg_addr addr, l4_uint32_t value, Cfg_width);