edd_info_nr       246 arch/x86/kernel/setup.c      edd.edd_info_nr = boot_params.eddbuf_entries;
edd_info_nr        82 drivers/firmware/edd.c 	return edev->index < min_t(unsigned char, edd.edd_info_nr, EDDMAXNR);
edd_info_nr       729 drivers/firmware/edd.c 		     min_t(unsigned char, EDDMAXNR, edd.edd_info_nr));
edd_info_nr       187 include/uapi/linux/edd.h 	unsigned char edd_info_nr;