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