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)  argument
219 	printf("Hit key to stop autoboot('CTRL+C'): %2d ", bootdelay);
235 	while ((bootdelay > 0) && (!abort)) {
236 		--bootdelay;
242 				bootdelay = 0;	/* no more delay	*/
251 		printf("\b\b\b%2d ", bootdelay);
260 static int abortboot(int bootdelay)  argument
264 	if (bootdelay >= 0)
265 		abort = __abortboot(bootdelay);
295 	int bootdelay;  local
310 	bootdelay = s ? (int)simple_strtol(s, NULL, 10) : CONFIG_BOOTDELAY;
313 	bootdelay = fdtdec_get_config_int(gd->fdt_blob, "bootdelay",
314 			bootdelay);
317 	debug("### main_loop entered: bootdelay=%d\n\n", bootdelay);
320 	bootdelay = menu_show(bootdelay);
339 	stored_bootdelay = bootdelay;