1 /* 2 * (C) Copyright 2008 3 * Niklaus Giger, niklaus.giger@member.fsf.org 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #ifndef _VXWORKS_H_ 9 #define _VXWORKS_H_ 10 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); 15 16 #endif 17