185 static int __abortboot(int bootdelay)  in __abortboot()  argument
188 	uint64_t etime = endtick(bootdelay);  in __abortboot()
195 	printf(CONFIG_AUTOBOOT_PROMPT, bootdelay);  in __abortboot()
211 static int __abortboot(int bootdelay)  in __abortboot()  argument
219 	printf("Hit any key to stop autoboot: %2d ", bootdelay);  in __abortboot()
231 	while ((bootdelay > 0) && (!abort)) {  in __abortboot()
232 		--bootdelay;  in __abortboot()
238 				bootdelay = 0;	/* no more delay	*/  in __abortboot()
249 		printf("\b\b\b%2d ", bootdelay);  in __abortboot()
258 static int abortboot(int bootdelay)  in abortboot()  argument
262 	if (bootdelay >= 0)  in abortboot()
263 		abort = __abortboot(bootdelay);  in abortboot()
293 	int bootdelay;  in bootdelay_process()  local
298 	bootdelay = s ? (int)simple_strtol(s, NULL, 10) : CONFIG_BOOTDELAY;  in bootdelay_process()
301 	bootdelay = fdtdec_get_config_int(gd->fdt_blob, "bootdelay",  in bootdelay_process()
302 			bootdelay);  in bootdelay_process()
305 	debug("### main_loop entered: bootdelay=%d\n\n", bootdelay);  in bootdelay_process()
308 	bootdelay = menu_show(bootdelay);  in bootdelay_process()
323 	stored_bootdelay = bootdelay;  in bootdelay_process()