add_to_phci_list
add_to_phci_list(char **phci_list, sv_path_info_t *pi, int npaths, int state,
add_to_phci_list(char ***driver_list, int **root_support_list,