cardbus_sum_resources
ddi_walk_devs(ddi_get_child(dip), cardbus_sum_resources, (void *)phdl);
static int cardbus_sum_resources(dev_info_t *, void *);
cardbus_sum_resources,