efi_map_region_fixed
extern void __init efi_map_region_fixed(efi_memory_desc_t *md);
efi_map_region_fixed(md); /* FIXME: add error handling */