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