Searched refs:fulldevnamep (Results 1 – 1 of 1) sorted by relevance
270 char *fulldevnamep = &(fulldevname[0]); in imageboot_pivot_image() local271 char **fulldevnamepp = &fulldevnamep; in imageboot_pivot_image()