Searched refs:do_bootm_vxworks (Results 1 – 3 of 3) sorted by relevance
38 extern boot_os_fn do_bootm_vxworks;
122 int do_bootm_vxworks(int flag, int argc, char * const argv[], in do_bootm_vxworks() function
320 int do_bootm_vxworks(int flag, int argc, char * const argv[], in do_bootm_vxworks() function486 [IH_OS_VXWORKS] = do_bootm_vxworks,