memmap.map = (efi_memory_desc_t *) bt_ioremap((unsigned long) memmap.phys_map, (memmap.nr_map * sizeof(efi_memory_desc_t)));  
memmap.map = bt_ioremap((unsigned long) memmap.phys_map, (memmap.nr_map * memmap.desc_size)); 
void __init efi_map_memmap(void){	memmap.map = NULL;	memmap.map = (efi_memory_desc_t *)		bt_ioremap((unsigned long) memmap.phys_map,			(memmap.nr_map * sizeof(efi_memory_desc_t)));	if (memmap.map == NULL)		printk(KERN_ERR PFX "Could not remap the EFI memmap!\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7ae65fd334232468a9d6b523a4fc141cd6ec5ea4/efi.c/clean/arch/i386/kernel/efi.c