edd_num_devices   742 drivers/firmware/edd.c 	if (!edd_num_devices())
edd_num_devices   746 drivers/firmware/edd.c 	       EDD_VERSION, EDD_DATE, edd_num_devices());
edd_num_devices   752 drivers/firmware/edd.c 	for (i = 0; i < edd_num_devices(); i++) {
edd_num_devices   782 drivers/firmware/edd.c 	for (i = 0; i < edd_num_devices(); i++) {