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