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