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()
1097 	const struct machine_desc *mdesc = NULL;  in setup_arch()  local
1105 		mdesc = setup_machine_fdt(atags_vaddr);  in setup_arch()
1106 		if (mdesc)  in setup_arch()
1110 	if (!mdesc)  in setup_arch()
1111 		mdesc = setup_machine_tags(atags_vaddr, __machine_arch_type);  in setup_arch()
1112 	if (!mdesc) {  in setup_arch()
1121 	machine_desc = mdesc;  in setup_arch()
1122 	machine_name = mdesc->name;  in setup_arch()
1123 	dump_stack_set_arch_desc("%s", mdesc->name);  in setup_arch()
1125 	if (mdesc->reboot_mode != REBOOT_HARD)  in setup_arch()
1126 		reboot_mode = mdesc->reboot_mode;  in setup_arch()
1140 	early_mm_init(mdesc);  in setup_arch()
1142 	setup_dma_zone(mdesc);  in setup_arch()
1150 	arm_memblock_init(mdesc);  in setup_arch()
1156 	paging_init(mdesc);  in setup_arch()
1158 	request_standard_resources(mdesc);  in setup_arch()
1160 	if (mdesc->restart) {  in setup_arch()
1161 		__arm_pm_restart = mdesc->restart;  in setup_arch()
1171 		if (!mdesc->smp_init || !mdesc->smp_init()) {  in setup_arch()
1174 			else if (mdesc->smp)  in setup_arch()
1175 				smp_set_ops(mdesc->smp);  in setup_arch()
1188 	handle_arch_irq = mdesc->handle_irq;  in setup_arch()
1197 	if (mdesc->init_early)  in setup_arch()
1198 		mdesc->init_early();  in setup_arch()