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