X-Git-Url: https://git.karo-electronics.de/?a=blobdiff_plain;f=include%2Fvxworks.h;h=122043c941e9b17b41c6d10df4b8449aa18b458b;hb=f5c18e190e3cecede1a413a889c84aec9cc6d34f;hp=c5d1577f9cb51bfdcde210ae8a328efb5791089f;hpb=58494052b5fa1c2cbed9f1e04049f2951708cfa3;p=karo-tx-uboot.git

diff --git a/include/vxworks.h b/include/vxworks.h
index c5d1577f9c..122043c941 100644
--- a/include/vxworks.h
+++ b/include/vxworks.h
@@ -9,6 +9,9 @@
 #define _VXWORKS_H_
 
 int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
+void boot_prep_vxworks(bootm_headers_t *images);
+void boot_jump_vxworks(bootm_headers_t *images);
+void do_bootvx_fdt(bootm_headers_t *images);
 
 /*
  * Use bootaddr to find the location in memory that VxWorks