1/* SPDX-License-Identifier: GPL-2.0 */
2extern int tango_smc(unsigned int val, unsigned int service);
3
4#define tango_set_l2_control(val)	tango_smc(val, 0x102)
5#define tango_start_aux_core(val)	tango_smc(val, 0x104)
6#define tango_set_aux_boot_addr(val)	tango_smc(val, 0x105)
7#define tango_suspend(val)		tango_smc(val, 0x120)
8#define tango_aux_core_die(val)		tango_smc(val, 0x121)
9#define tango_aux_core_kill(val)	tango_smc(val, 0x122)
10