3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 * Add to readline cmdline-editing by
7 * JinHua Luo, GuangDong Linux Center, <luo.jinhua@gd-linux.com>
9 * SPDX-License-Identifier: GPL-2.0+
15 #ifdef CONFIG_BOOTDELAY
16 void bootdelay_process(void);
18 static inline void bootdelay_process(void)