| Hao Zhang | 7b26c1f | 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 | |||||
| 10 | #ifndef _MON_H_ | ||||
| 11 | #define _MON_H_ | ||||
| 12 | |||||
| 13 | int mon_power_off(int core_id); | ||||
| 14 | |||||
| 15 | #endif | ||||