88 	const void *os_hdr;  in bootm_find_os()  local
93 	os_hdr = boot_get_kernel(cmdtp, flag, argc, argv,  in bootm_find_os()
101 	switch (genimg_get_format(os_hdr)) {  in bootm_find_os()
104 		images.os.type = image_get_type(os_hdr);  in bootm_find_os()
105 		images.os.comp = image_get_comp(os_hdr);  in bootm_find_os()
106 		images.os.os = image_get_os(os_hdr);  in bootm_find_os()
108 		images.os.end = image_get_image_end(os_hdr);  in bootm_find_os()
109 		images.os.load = image_get_load(os_hdr);  in bootm_find_os()
110 		images.os.arch = image_get_arch(os_hdr);  in bootm_find_os()
161 		images.os.end = android_image_get_end(os_hdr);  in bootm_find_os()
162 		images.os.load = android_image_get_kload(os_hdr);  in bootm_find_os()
221 	images.os.start = map_to_sysmem(os_hdr);  in bootm_find_os()