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