1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef __ASMARM_KRAIT_L2_ACCESSORS_H
4#define __ASMARM_KRAIT_L2_ACCESSORS_H
5
6extern void krait_set_l2_indirect_reg(u32 addr, u32 val);
7extern u32 krait_get_l2_indirect_reg(u32 addr);
8
9#endif