63 static int do_efi_show_devices(cmd_tbl_t *cmdtp, int flag,  in do_efi_show_devices()  argument
142 static int do_efi_show_drivers(cmd_tbl_t *cmdtp, int flag,  in do_efi_show_drivers()  argument
270 static int do_efi_show_handles(cmd_tbl_t *cmdtp, int flag,  in do_efi_show_handles()  argument
330 static int do_efi_show_images(cmd_tbl_t *cmdtp, int flag,  in do_efi_show_images()  argument
410 static int do_efi_show_memmap(cmd_tbl_t *cmdtp, int flag,  in do_efi_show_memmap()  argument
473 static int do_efi_boot_add(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_add()  argument
563 static int do_efi_boot_rm(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_rm()  argument
689 static int do_efi_boot_dump(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_dump()  argument
832 static int do_efi_boot_next(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_next()  argument
875 static int do_efi_boot_order(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_order()  argument
941 static int do_efi_boot_opt(cmd_tbl_t *cmdtp, int flag,  in do_efi_boot_opt()  argument
956 	return cp->cmd(cmdtp, flag, argc, argv);  in do_efi_boot_opt()
987 static int do_efidebug(cmd_tbl_t *cmdtp, int flag,  in do_efidebug()  argument
1011 	return cp->cmd(cmdtp, flag, argc, argv);  in do_efidebug()