23 int sata_remove(int devnum)  in sata_remove()  argument
29 	rc = uclass_find_device(UCLASS_AHCI, devnum, &dev);  in sata_remove()
33 		printf("Cannot find SATA device %d (err=%d)\n", devnum, rc);  in sata_remove()
50 int sata_probe(int devnum)  in sata_probe()  argument
56 	rc = uclass_get_device(UCLASS_AHCI, devnum, &dev);  in sata_probe()
60 		printf("Cannot probe SATA device %d (err=%d)\n", devnum, rc);  in sata_probe()
69 		printf("Cannot scan SATA device %d (err=%d)\n", devnum, rc);  in sata_probe()
84 		int devnum = 0;  in do_sata()  local
87 			devnum = (int)simple_strtoul(argv[2], NULL, 10);  in do_sata()
89 			return sata_remove(devnum);  in do_sata()
93 				rc = sata_remove(devnum);  in do_sata()
98 			return sata_probe(devnum);  in do_sata()