1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Keystone EVM : Power off
4  *
5  * (C) Copyright 2014
6  *     Texas Instruments Incorporated, <www.ti.com>
7  */
8 
9 #include <common.h>
10 #include <command.h>
11 #include <asm/arch/mon.h>
12 #include <asm/arch/psc_defs.h>
13 #include <asm/arch/hardware.h>
14 
15 int do_poweroff(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
16 {
17 	mon_power_off(0);
18 
19 	psc_disable_module(KS2_LPSC_TETRIS);
20 	psc_disable_domain(KS2_TETRIS_PWR_DOMAIN);
21 
22 	asm volatile ("isb\n"
23 		      "dsb\n"
24 		      "wfi\n");
25 
26 	return 0;
27 }
28