91 	const void *os_hdr;  in bootm_find_os()  local
96 	os_hdr = boot_get_kernel(cmdtp, flag, argc, argv,  in bootm_find_os()
104 	switch (genimg_get_format(os_hdr)) {  in bootm_find_os()
107 		images.os.type = image_get_type(os_hdr);  in bootm_find_os()
108 		images.os.comp = image_get_comp(os_hdr);  in bootm_find_os()
109 		images.os.os = image_get_os(os_hdr);  in bootm_find_os()
111 		images.os.end = image_get_image_end(os_hdr);  in bootm_find_os()
112 		images.os.load = image_get_load(os_hdr);  in bootm_find_os()
113 		images.os.arch = image_get_arch(os_hdr);  in bootm_find_os()
164 		images.os.end = android_image_get_end(os_hdr);  in bootm_find_os()
165 		images.os.load = android_image_get_kload(os_hdr);  in bootm_find_os()
224 	images.os.start = map_to_sysmem(os_hdr);  in bootm_find_os()