Searched refs:do_bootvx_fdt (Results 1 – 2 of 2) sorted by relevance
86 void do_bootvx_fdt(bootm_headers_t *images);
263 void do_bootvx_fdt(bootm_headers_t *images) in do_bootvx_fdt() function333 do_bootvx_fdt(images); in do_bootm_vxworks()