769 static void __init request_standard_resources(const struct machine_desc *mdesc)  in request_standard_resources()  argument
796 	if (mdesc->video_start) {  in request_standard_resources()
797 		video_ram.start = mdesc->video_start;  in request_standard_resources()
798 		video_ram.end   = mdesc->video_end;  in request_standard_resources()
806 	if (mdesc->reserve_lp0)  in request_standard_resources()
808 	if (mdesc->reserve_lp1)  in request_standard_resources()
810 	if (mdesc->reserve_lp2)  in request_standard_resources()
937 	const struct machine_desc *mdesc;  in setup_arch()  local
940 	mdesc = setup_machine_fdt(__atags_pointer);  in setup_arch()
941 	if (!mdesc)  in setup_arch()
942 		mdesc = setup_machine_tags(__atags_pointer, __machine_arch_type);  in setup_arch()
943 	machine_desc = mdesc;  in setup_arch()
944 	machine_name = mdesc->name;  in setup_arch()
945 	dump_stack_set_arch_desc("%s", mdesc->name);  in setup_arch()
947 	if (mdesc->reboot_mode != REBOOT_HARD)  in setup_arch()
948 		reboot_mode = mdesc->reboot_mode;  in setup_arch()
965 	early_paging_init(mdesc);  in setup_arch()
967 	setup_dma_zone(mdesc);  in setup_arch()
969 	arm_memblock_init(mdesc);  in setup_arch()
971 	paging_init(mdesc);  in setup_arch()
972 	request_standard_resources(mdesc);  in setup_arch()
974 	if (mdesc->restart)  in setup_arch()
975 		arm_pm_restart = mdesc->restart;  in setup_arch()
984 		if (!mdesc->smp_init || !mdesc->smp_init()) {  in setup_arch()
987 			else if (mdesc->smp)  in setup_arch()
988 				smp_set_ops(mdesc->smp);  in setup_arch()
1001 	handle_arch_irq = mdesc->handle_irq;  in setup_arch()
1012 	if (mdesc->init_early)  in setup_arch()
1013 		mdesc->init_early();  in setup_arch()