1*dc7de222SMasahiro Yamada /*
2*dc7de222SMasahiro Yamada  * K2HK: secure kernel command header file
3*dc7de222SMasahiro Yamada  *
4*dc7de222SMasahiro Yamada  * (C) Copyright 2014
5*dc7de222SMasahiro Yamada  *     Texas Instruments Incorporated, <www.ti.com>
6*dc7de222SMasahiro Yamada  *
7*dc7de222SMasahiro Yamada  * SPDX-License-Identifier:     GPL-2.0+
8*dc7de222SMasahiro Yamada  */
9*dc7de222SMasahiro Yamada 
10*dc7de222SMasahiro Yamada #ifndef _MON_H_
11*dc7de222SMasahiro Yamada #define _MON_H_
12*dc7de222SMasahiro Yamada 
13*dc7de222SMasahiro Yamada int mon_power_off(int core_id);
14*dc7de222SMasahiro Yamada 
15*dc7de222SMasahiro Yamada #endif
16