// SPDX-License-Identifier: GPL-2.0+ /* * Copyright (C) 2018, Bin Meng */ #include #include int do_reset(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[]) { reset_cpu(); return 0; }