9042     int *cur_elements, int *max_elements, char *driver_name, int root_support)  in add_to_phci_list()  argument
9044 	ASSERT(*cur_elements <= *max_elements);  in add_to_phci_list()
9045 	if (*cur_elements == *max_elements) {  in add_to_phci_list()
9046 		*max_elements += 10;  in add_to_phci_list()
9049 		    sizeof (char *) * (*max_elements));  in add_to_phci_list()
9052 		    sizeof (int) * (*max_elements));  in add_to_phci_list()
9061     int **root_support_list, int *cur_elements, int *max_elements)  in get_phci_driver_list()  argument
9072 	*max_elements = 0;  in get_phci_driver_list()
9092 				    cur_elements, max_elements, dnp->dn_name,  in get_phci_driver_list()
9125 			    cur_elements, max_elements, p->phdriver_name,  in get_phci_driver_list()
9142 	int	cur_elements, max_elements, i;  in attach_phci_drivers()  local
9146 	    &cur_elements, &max_elements);  in attach_phci_drivers()
9160 		kmem_free(driver_list, sizeof (char *) * max_elements);  in attach_phci_drivers()
9161 		kmem_free(root_support_list, sizeof (int) * max_elements);  in attach_phci_drivers()
9650 	int	cur_elements, max_elements;  in mdi_get_phci_driver_list()  local
9653 	    &cur_elements, &max_elements);  in mdi_get_phci_driver_list()
9657 		kmem_free(root_support_list, sizeof (int) * max_elements);  in mdi_get_phci_driver_list()
9659 		    * max_elements, sizeof (char *) * cur_elements);  in mdi_get_phci_driver_list()