fw_resource_count_max   52 drivers/firmware/efi/esrt.c 	u32	fw_resource_count_max;
fw_resource_count_max  204 drivers/firmware/efi/esrt.c esrt_attr_decl(fw_resource_count_max, 32, "%u");