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