3 * Niklaus Giger, niklaus.giger@member.fsf.org
5 * SPDX-License-Identifier: GPL-2.0+
11 int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
12 void boot_prep_vxworks(bootm_headers_t *images);
13 void boot_jump_vxworks(bootm_headers_t *images);
14 void do_bootvx_fdt(bootm_headers_t *images);