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++) {