#ifdef CONFIG_KEXEC request_resource(res, &crashk_res); #endif 
efi_initialize_iomem_resources(struct resource *code_resource,			       struct resource *data_resource){	struct resource *res;	efi_memory_desc_t *md;	int i;	for (i = 0; i < memmap.nr_map; i++) {		md = &memmap.map[i];		if ((md->phys_addr + (md->num_pages << EFI_PAGE_SHIFT)) >		    0x100000000ULL)			continue;		res = alloc_bootmem_low(sizeof(struct resource));		switch (md->type) {		case EFI_RESERVED_TYPE:			res->name = "Reserved Memory";			break;		case EFI_LOADER_CODE:			res->name = "Loader Code";			break;		case EFI_LOADER_DATA:			res->name = "Loader Data";			break;		case EFI_BOOT_SERVICES_DATA:			res->name = "BootServices Data";			break;		case EFI_BOOT_SERVICES_CODE:			res->name = "BootServices Code";			break;		case EFI_RUNTIME_SERVICES_CODE:			res->name = "Runtime Service Code";			break;		case EFI_RUNTIME_SERVICES_DATA:			res->name = "Runtime Service Data";			break;		case EFI_CONVENTIONAL_MEMORY:			res->name = "Conventional Memory";			break;		case EFI_UNUSABLE_MEMORY:			res->name = "Unusable Memory";			break;		case EFI_ACPI_RECLAIM_MEMORY:			res->name = "ACPI Reclaim";			break;		case EFI_ACPI_MEMORY_NVS:			res->name = "ACPI NVS";			break;		case EFI_MEMORY_MAPPED_IO:			res->name = "Memory Mapped IO";			break;		case EFI_MEMORY_MAPPED_IO_PORT_SPACE:			res->name = "Memory Mapped IO Port Space";			break;		default:			res->name = "Reserved";			break;		}		res->start = md->phys_addr;		res->end = res->start + ((md->num_pages << EFI_PAGE_SHIFT) - 1);		res->flags = IORESOURCE_MEM | IORESOURCE_BUSY;		if (request_resource(&iomem_resource, res) < 0)			printk(KERN_ERR PFX "Failed to allocate res %s : 0x%lx-0x%lx\n",				res->name, res->start, res->end);		/*		 * We don't know which region contains kernel data so we try		 * it repeatedly and let the resource manager test it.		 */		if (md->type == EFI_CONVENTIONAL_MEMORY) {			request_resource(res, code_resource);			request_resource(res, data_resource);		}	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1bc3b91aeed71a904e431d12ca90e9b6bcb42c91/efi.c/buggy/arch/i386/kernel/efi.c