17 static int do_bootm_standalone(int flag, int argc, char * const argv[],  in do_bootm_standalone()
39 static void copy_args(char *dest, int argc, char * const argv[], char delim)  in copy_args()
53 static int do_bootm_netbsd(int flag, int argc, char * const argv[],  in do_bootm_netbsd()
125 static int do_bootm_lynxkdi(int flag, int argc, char * const argv[],  in do_bootm_lynxkdi()
147 static int do_bootm_rtems(int flag, int argc, char * const argv[],  in do_bootm_rtems()
180 static int do_bootm_ose(int flag, int argc, char * const argv[],  in do_bootm_ose()
213 static int do_bootm_plan9(int flag, int argc, char * const argv[],  in do_bootm_plan9()
320 static int do_bootm_vxworks(int flag, int argc, char * const argv[],  in do_bootm_vxworks()
340 static int do_bootm_qnxelf(int flag, int argc, char * const argv[],  in do_bootm_qnxelf()
378 static int do_bootm_integrity(int flag, int argc, char * const argv[],  in do_bootm_integrity()
411 static int do_bootm_openrtos(int flag, int argc, char * const argv[],  in do_bootm_openrtos()
437 static int do_bootm_tee(int flag, int argc, char * const argv[],  in do_bootm_tee()
508 int boot_selected_os(int argc, char * const argv[], int state,  in boot_selected_os()