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