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