ibnex_name_child
ibnex_name_child) == DDI_SUCCESS) {
if ((ret = ibnex_name_child(child, name, 0)) != DDI_SUCCESS)
static int ibnex_name_child(dev_info_t *, char *, int);