2 * K2HK: secure kernel command file
4 * (C) Copyright 2012-2014
5 * Texas Instruments Incorporated, <www.ti.com>
7 * SPDX-License-Identifier: GPL-2.0+
13 asm(".arch_extension sec\n\t");
15 int mon_install(u32 addr, u32 dpsc, u32 freq)
19 __asm__ __volatile__ (
27 : "r" (addr), "r" (dpsc), "r" (freq)
28 : "cc", "r0", "r1", "r2", "memory");
32 int mon_power_on(int core_id, void *ep)
44 : "r" (core_id), "r" (ep)
45 : "cc", "r0", "r1", "r2", "memory");
49 int mon_power_off(int core_id)
61 : "cc", "r0", "r1", "memory");