arch/arm/include/asm/arch-keystone/mon.h - u-boot - Git at Google

 /*
  * K2HK: secure kernel command header file
  *
  * (C) Copyright 2014
  *     Texas Instruments Incorporated, <www.ti.com>
  *
  * SPDX-License-Identifier:     GPL-2.0+
  */

 #ifndef _MON_H_
 #define _MON_H_

 int mon_power_off(int core_id);

 #endif
	/*
	* K2HK: secure kernel command header file
	*
	* (C) Copyright 2014
	* Texas Instruments Incorporated, <www.ti.com>
	*
	* SPDX-License-Identifier: GPL-2.0+
	*/

	#ifndef _MON_H_
	#define _MON_H_

	int mon_power_off(int core_id);

	#endif