19 static int do_bootm_standalone(int flag, int argc, char * const argv[],  in do_bootm_standalone()
41 static void copy_args(char *dest, int argc, char * const argv[], char delim)  in copy_args()
55 static int do_bootm_netbsd(int flag, int argc, char * const argv[],  in do_bootm_netbsd()
127 static int do_bootm_lynxkdi(int flag, int argc, char * const argv[],  in do_bootm_lynxkdi()
149 static int do_bootm_rtems(int flag, int argc, char * const argv[],  in do_bootm_rtems()
182 static int do_bootm_ose(int flag, int argc, char * const argv[],  in do_bootm_ose()
215 static int do_bootm_plan9(int flag, int argc, char * const argv[],  in do_bootm_plan9()
322 static int do_bootm_vxworks_legacy(int flag, int argc, char * const argv[],  in do_bootm_vxworks_legacy()
340 int do_bootm_vxworks(int flag, int argc, char * const argv[],  in do_bootm_vxworks()
377 static int do_bootm_qnxelf(int flag, int argc, char * const argv[],  in do_bootm_qnxelf()
415 static int do_bootm_integrity(int flag, int argc, char * const argv[],  in do_bootm_integrity()
448 static int do_bootm_openrtos(int flag, int argc, char * const argv[],  in do_bootm_openrtos()
474 static int do_bootm_tee(int flag, int argc, char * const argv[],  in do_bootm_tee()
551 int boot_selected_os(int argc, char * const argv[], int state,  in boot_selected_os()