Searched refs:boot_jump_vxworks (Results 1 – 4 of 4) sorted by relevance
85 void boot_jump_vxworks(bootm_headers_t *images);
319 void boot_jump_vxworks(bootm_headers_t *images) in boot_jump_vxworks() function
315 boot_jump_vxworks(images); in do_bootvx_fdt()
448 void boot_jump_vxworks(bootm_headers_t *images) in boot_jump_vxworks() function