764 static void __init request_standard_resources(const struct machine_desc *mdesc)  in request_standard_resources()  argument
791 	if (mdesc->video_start) {  in request_standard_resources()
792 		video_ram.start = mdesc->video_start;  in request_standard_resources()
793 		video_ram.end   = mdesc->video_end;  in request_standard_resources()
801 	if (mdesc->reserve_lp0)  in request_standard_resources()
803 	if (mdesc->reserve_lp1)  in request_standard_resources()
805 	if (mdesc->reserve_lp2)  in request_standard_resources()
915 	const struct machine_desc *mdesc;  in setup_arch()  local
918 	mdesc = setup_machine_fdt(__atags_pointer);  in setup_arch()
919 	if (!mdesc)  in setup_arch()
920 		mdesc = setup_machine_tags(__atags_pointer, __machine_arch_type);  in setup_arch()
921 	machine_desc = mdesc;  in setup_arch()
922 	machine_name = mdesc->name;  in setup_arch()
923 	dump_stack_set_arch_desc("%s", mdesc->name);  in setup_arch()
925 	if (mdesc->reboot_mode != REBOOT_HARD)  in setup_arch()
926 		reboot_mode = mdesc->reboot_mode;  in setup_arch()
939 	early_paging_init(mdesc, lookup_processor_type(read_cpuid_id()));  in setup_arch()
940 	setup_dma_zone(mdesc);  in setup_arch()
942 	arm_memblock_init(mdesc);  in setup_arch()
944 	paging_init(mdesc);  in setup_arch()
945 	request_standard_resources(mdesc);  in setup_arch()
947 	if (mdesc->restart)  in setup_arch()
948 		arm_pm_restart = mdesc->restart;  in setup_arch()
956 		if (!mdesc->smp_init || !mdesc->smp_init()) {  in setup_arch()
959 			else if (mdesc->smp)  in setup_arch()
960 				smp_set_ops(mdesc->smp);  in setup_arch()
973 	handle_arch_irq = mdesc->handle_irq;  in setup_arch()
984 	if (mdesc->init_early)  in setup_arch()
985 		mdesc->init_early();  in setup_arch()