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