arm/kernel/setup.c

855 static void __init request_standard_resources(const struct machine_desc *mdesc)
913 	if (mdesc->video_start) {
914 		video_ram.start = mdesc->video_start;
915 		video_ram.end   = mdesc->video_end;
923 	if (mdesc->reserve_lp0)
925 	if (mdesc->reserve_lp1)
927 	if (mdesc->reserve_lp2)
1104 	const struct machine_desc *mdesc = NULL;
1112 		mdesc = setup_machine_fdt(atags_vaddr);
1113 		if (mdesc)
1117 	if (!mdesc)
1118 		mdesc = setup_machine_tags(atags_vaddr, __machine_arch_type);
1119 	if (!mdesc) {
1128 	machine_desc = mdesc;
1129 	machine_name = mdesc->name;
1130 	dump_stack_set_arch_desc("%s", mdesc->name);
1132 	if (mdesc->reboot_mode != REBOOT_HARD)
1133 		reboot_mode = mdesc->reboot_mode;
1147 	early_mm_init(mdesc);
1149 	setup_dma_zone(mdesc);
1157 	arm_memblock_init(mdesc);
1163 	paging_init(mdesc);
1165 	request_standard_resources(mdesc);
1167 	if (mdesc->restart) {
1168 		__arm_pm_restart = mdesc->restart;
1178 		if (!mdesc->smp_init || !mdesc->smp_init()) {
1181 			else if (mdesc->smp)
1182 				smp_set_ops(mdesc->smp);
1200 	if (mdesc->init_early)
1201 		mdesc->init_early();