| Tom Rini | 10e4779 | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0+ */ |
| Hao Zhang | 58a0d66 | 2014-07-09 19:48:44 +0300 | [diff] [blame] | 2 | /* |
| 3 | * K2HK: secure kernel command header file |
| 4 | * |
| 5 | * (C) Copyright 2014 |
| 6 | * Texas Instruments Incorporated, <www.ti.com> |
| Hao Zhang | 58a0d66 | 2014-07-09 19:48:44 +0300 | [diff] [blame] | 7 | */ |
| 8 | |
| Tom Rini | 108ee58 | 2016-03-16 09:10:08 -0400 | [diff] [blame] | 9 | #ifndef _MACH_MON_H_ |
| 10 | #define _MACH_MON_H_ |
| Hao Zhang | 58a0d66 | 2014-07-09 19:48:44 +0300 | [diff] [blame] | 11 | |
| Madan Srinivas | e885610 | 2017-07-17 12:59:15 -0500 | [diff] [blame] | 12 | int mon_install(u32 addr, u32 dpsc, u32 freq, u32 bm_addr); |
| Tom Rini | 108ee58 | 2016-03-16 09:10:08 -0400 | [diff] [blame] | 13 | int mon_power_on(int core_id, void *ep); |
| Hao Zhang | 58a0d66 | 2014-07-09 19:48:44 +0300 | [diff] [blame] | 14 | int mon_power_off(int core_id); |
| 15 | |
| 16 | #endif |