2 * Keystone EVM : Power off
5 * Texas Instruments Incorporated, <www.ti.com>
7 * SPDX-License-Identifier: GPL-2.0+
12 #include <asm/arch/mon.h>
13 #include <asm/arch/psc_defs.h>
14 #include <asm/arch/hardware.h>
16 int do_poweroff(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
20 psc_disable_module(KS2_LPSC_TETRIS);
21 psc_disable_domain(KS2_TETRIS_PWR_DOMAIN);