848 static void __init request_standard_resources(const struct machine_desc *mdesc)  in request_standard_resources()  argument
906 	if (mdesc->video_start) {  in request_standard_resources()
907 		video_ram.start = mdesc->video_start;  in request_standard_resources()
908 		video_ram.end   = mdesc->video_end;  in request_standard_resources()
916 	if (mdesc->reserve_lp0)  in request_standard_resources()
918 	if (mdesc->reserve_lp1)  in request_standard_resources()
920 	if (mdesc->reserve_lp2)  in request_standard_resources()
1096 	const struct machine_desc *mdesc = NULL;  in setup_arch()  local
1104 		mdesc = setup_machine_fdt(atags_vaddr);  in setup_arch()
1105 		if (mdesc)  in setup_arch()
1109 	if (!mdesc)  in setup_arch()
1110 		mdesc = setup_machine_tags(atags_vaddr, __machine_arch_type);  in setup_arch()
1111 	if (!mdesc) {  in setup_arch()
1120 	machine_desc = mdesc;  in setup_arch()
1121 	machine_name = mdesc->name;  in setup_arch()
1122 	dump_stack_set_arch_desc("%s", mdesc->name);  in setup_arch()
1124 	if (mdesc->reboot_mode != REBOOT_HARD)  in setup_arch()
1125 		reboot_mode = mdesc->reboot_mode;  in setup_arch()
1139 	early_mm_init(mdesc);  in setup_arch()
1141 	setup_dma_zone(mdesc);  in setup_arch()
1149 	arm_memblock_init(mdesc);  in setup_arch()
1155 	paging_init(mdesc);  in setup_arch()
1157 	request_standard_resources(mdesc);  in setup_arch()
1159 	if (mdesc->restart) {  in setup_arch()
1160 		__arm_pm_restart = mdesc->restart;  in setup_arch()
1170 		if (!mdesc->smp_init || !mdesc->smp_init()) {  in setup_arch()
1173 			else if (mdesc->smp)  in setup_arch()
1174 				smp_set_ops(mdesc->smp);  in setup_arch()
1187 	handle_arch_irq = mdesc->handle_irq;  in setup_arch()
1196 	if (mdesc->init_early)  in setup_arch()
1197 		mdesc->init_early();  in setup_arch()