device_get_children
if (device_get_children(bus, &kids, &numkids) != 0)
if (device_get_children(*busp, &pci_children, &pci_childcount))
int device_get_children(device_t dev, device_t **devlistp, int *devcountp);
if (device_get_children(dev, &children, &nchildren) == 0) {
if (device_get_children(dev, &children, &nchildren) != 0)
if (device_get_children(*miibus, &children, &nchildren) != 0) {
rv = device_get_children(*miibus, &children, &nchildren);